Uses of Class
crypto.typestate.LabeledMatcherTransition

Packages that use LabeledMatcherTransition

Package	Description
crypto.typestate

Uses of LabeledMatcherTransition in crypto.typestate

Methods in crypto.typestate that return types with arguments of type LabeledMatcherTransition

Modifier and Type	Method	Description
Collection<LabeledMatcherTransition>	ForwardSeedQuery.getAllTransitions()
Set<LabeledMatcherTransition>	MatcherTransitionCollection.getAllTransitions()
Collection<LabeledMatcherTransition>	RuleTransitions.getAllTransitions()

Constructor parameters in crypto.typestate with type arguments of type LabeledMatcherTransition

Constructor	Description
TypestateFunction(Collection<LabeledMatcherTransition> transitions)