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 LabeledMatcherTransition

Modifier and Type	Method	Description
static LabeledMatcherTransition	LabeledMatcherTransition.getTransition(typestate.finiteautomata.State from, Collection<CrySLMethod> label, typestate.finiteautomata.MatcherTransition.Parameter param, typestate.finiteautomata.State to, typestate.finiteautomata.MatcherTransition.Type type)