Uses of Class
crypto.rules.StateNode

Packages that use StateNode

Package	Description
crypto.rules
crypto.typestate

Uses of StateNode in crypto.rules

Methods in crypto.rules that return StateNode

Modifier and Type	Method	Description
StateNode	StateMachineGraph.aggregateNodesToOneNode(Set<StateNode> endNodes, StateNode newNode)
StateNode	StateMachineGraph.createNewNode()
StateNode	TransitionEdge.from()
StateNode	TransitionEdge.getLeft()
StateNode	TransitionEdge.getRight()
StateNode	TransitionEdge.to()

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

Modifier and Type	Method	Description
Collection<StateNode>	StateMachineGraph.aggregateNodestoOtherNodes(Collection<StateNode> nodesToAggr, Collection<StateNode> startNodes)
Collection<StateNode>	StateMachineGraph.getAcceptingStates()
Set<StateNode>	CrySLCondPredicate.getConditionalMethods()
Set<StateNode>	StateMachineGraph.getNodes()

Methods in crypto.rules with parameters of type StateNode

Modifier and Type	Method	Description
void	StateMachineGraph.addAllOutgoingEdgesFromOneNodeToOtherNodes(StateNode node, Collection<StateNode> otherNodes)
Boolean	StateMachineGraph.addNode(StateNode node)
StateNode	StateMachineGraph.aggregateNodesToOneNode(Set<StateNode> endNodes, StateNode newNode)
boolean	StateMachineGraph.createNewEdge(List<CrySLMethod> methods, StateNode left, StateNode right)
Set<TransitionEdge>	StateMachineGraph.getAllOutgoingEdges(StateNode node)

Method parameters in crypto.rules with type arguments of type StateNode

Modifier and Type	Method	Description
void	StateMachineGraph.addAllOutgoingEdgesFromOneNodeToOtherNodes(StateNode node, Collection<StateNode> otherNodes)
StateNode	StateMachineGraph.aggregateNodesToOneNode(Set<StateNode> endNodes, StateNode newNode)
Collection<StateNode>	StateMachineGraph.aggregateNodestoOtherNodes(Collection<StateNode> nodesToAggr, Collection<StateNode> startNodes)

Constructors in crypto.rules with parameters of type StateNode

Constructor	Description
TransitionEdge(List<CrySLMethod> _methods, StateNode _left, StateNode _right)

Constructor parameters in crypto.rules with type arguments of type StateNode

Constructor	Description
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Set<StateNode> nodes)
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Set<StateNode> nodes, ISLConstraint constraint)

Uses of StateNode in crypto.typestate

Methods in crypto.typestate that return StateNode

Modifier and Type	Method	Description
StateNode	WrappedState.delegate()

Constructors in crypto.typestate with parameters of type StateNode

Constructor	Description
WrappedState(StateNode delegate)