Uses of Class
org.processmining.framework.models.petrinet.State

Packages that use State
org.processmining.analysis.conformance Contains classes related to the Conformance Analysis Plugin. 
org.processmining.framework.models.petrinet   
 

Uses of State in org.processmining.analysis.conformance
 

Methods in org.processmining.analysis.conformance with parameters of type State
protected  void StateSpaceExplorationMethod.tracePathsInStateSpace(java.util.ArrayList<Transition> currentPath, StateSpace coverabilityGraph, State currentState, java.util.HashSet<ModelGraphEdge> passedEdges, java.util.HashSet<ModelGraphEdge> blockedEdges)
          Recursive helper method for tracing different execution sequences of tasks in the process model (state space).
 

Uses of State in org.processmining.framework.models.petrinet
 

Fields in org.processmining.framework.models.petrinet declared as State
 State StateSpace.initialState
          Indicates the start state of the state space, if given.
 

Methods in org.processmining.framework.models.petrinet that return State
 State StateSpace.addState(State s)
           
 State State.getPredecessor()
           
 

Methods in org.processmining.framework.models.petrinet with parameters of type State
 State StateSpace.addState(State s)
           
 boolean State.isLessOrEqual(State state)
           
 void State.setPredecessor(State state)