Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata |
Modifier and Type | Field and Description |
---|---|
State |
Automaton.init |
Modifier and Type | Method and Description |
---|---|
State |
Automaton.getInit() |
State |
Transition.getSource() |
State |
Transition.getTarget() |
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<State,java.lang.Object> |
NDFAOperations.copyStates(Automaton a,
AutomatonFactory factory) |
java.util.Iterator<State> |
Automaton.iterator() |
java.lang.Iterable<State> |
ExecutableAutomaton.states() |
Modifier and Type | Method and Description |
---|---|
boolean |
PossibleNodes.acceptingReachable(State node) |
void |
Automaton.addState(State n) |
protected void |
NDFAOperations.copyState(AutomatonFactory factory,
java.util.Map<State,java.lang.Object> stateMap,
State s,
int id) |
protected java.util.Set<java.lang.String> |
NDFAOperations.getLabels(State... states) |
int |
TransitionMatrix.getStateNumber(State s) |
void |
Automaton.removeState(State n) |
void |
Automaton.setInitial(State state) |
Modifier and Type | Method and Description |
---|---|
protected void |
NDFAOperations.copyState(AutomatonFactory factory,
java.util.Map<State,java.lang.Object> stateMap,
State s,
int id) |
protected void |
NDFAOperations.copyTransition(AutomatonFactory factory,
java.util.Map<State,java.lang.Object> stateMap,
Transition t) |
protected void |
NDFAOperations.copyTransitions(Automaton a,
AutomatonFactory factory,
java.util.Map<State,java.lang.Object> stateMap) |
protected java.util.Set<java.lang.String> |
NDFAOperations.getLabels(java.lang.Iterable<State> states) |
void |
PossibleNodes.reachableStates(java.util.ArrayList<State> reachable) |
boolean |
PossibleNodes.reachableTransition(java.util.ArrayList<State> reachable,
java.lang.String label) |
Constructor and Description |
---|
Transition(State source,
State target) |
Transition(State source,
State target,
java.util.Collection<java.lang.String> propositions) |
Transition(State source,
State target,
java.lang.String proposition) |
Constructor and Description |
---|
TransitionMatrix(java.util.Map<java.lang.String,java.lang.Integer> transitionNumbers,
java.util.Map<State,java.lang.Integer> stateNumbers,
java.util.Set<java.lang.Integer> accepting,
int[][] matrix) |