Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata |
Modifier and Type | Method and Description |
---|---|
void |
AutomatonFactory.addTransition(java.lang.Object source,
java.lang.Object target,
TransitionLabel label) |
void |
DefaultAutomatonFactory.addTransition(java.lang.Object sourceState,
java.lang.Object tragetState,
TransitionLabel label) |