Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata |
Modifier and Type | Field and Description |
---|---|
java.util.Collection<Transition> |
State.output |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<Transition> |
State.getOutput() |
java.util.Collection<Transition> |
PossibleNodes.output() |
java.lang.Iterable<Transition> |
Automaton.transitions() |
Modifier and Type | Method and Description |
---|---|
void |
State.addOutput(Transition e) |
void |
AutomatonFactory.addTransition(Transition t) |
void |
DefaultAutomatonFactory.addTransition(Transition t) |
protected void |
NDFAOperations.copyTransition(AutomatonFactory factory,
java.util.Map<State,java.lang.Object> stateMap,
Transition t) |
static java.util.ArrayList<java.lang.String> |
AutomatonUtils.getPropositions(Transition edge) |
void |
State.removeOutput(Transition e) |