|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |