Uses of Class
crypto.rules.TransitionEdge

Packages that use TransitionEdge

Package	Description
crypto.rules
crypto.typestate

Uses of TransitionEdge in crypto.rules

Methods in crypto.rules that return TransitionEdge

Modifier and Type	Method	Description
TransitionEdge	StateMachineGraph.getInitialTransition()

Methods in crypto.rules that return types with arguments of type TransitionEdge

Modifier and Type	Method	Description
Collection<TransitionEdge>	StateMachineGraph.getAllOutgoingEdges(StateNode node)
Collection<TransitionEdge>	StateMachineGraph.getAllTransitions()
Collection<TransitionEdge>	StateMachineGraph.getEdges()
Collection<TransitionEdge>	StateMachineGraph.getInitialTransitions()

Uses of TransitionEdge in crypto.typestate

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

Modifier and Type	Method	Description
Collection<TransitionEdge>	MatcherTransitionCollection.getInitialTransitions()