Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata |
Modifier and Type | Class and Description |
---|---|
class |
DefaultAutomatonFactory |
Modifier and Type | Method and Description |
---|---|
protected AutomatonFactory |
NDFAOperations.newFactory() |
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 java.util.Map<State,java.lang.Object> |
NDFAOperations.copyStates(Automaton a,
AutomatonFactory factory) |
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) |
Constructor and Description |
---|
DFAOperations(java.lang.Class<? extends AutomatonFactory> factoryClass) |
NDFAOperations(java.lang.Class<? extends AutomatonFactory> factoryClass) |