Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata | |
org.processmining.plugins.DeclareDataAwareComplianceChecker.models |
Modifier and Type | Class and Description |
---|---|
class |
DeterministicAutomaton
Tagging subclass to distinguish between deterministic and non-deterministic autonmata
|
Modifier and Type | Method and Description |
---|---|
Automaton |
AutomatonFactory.getAutomaton() |
Automaton |
DefaultAutomatonFactory.getAutomaton() |
Automaton |
ExecutableAutomaton.getAutomaton() |
Automaton |
Automaton.Operations.intersect(Automaton b) |
Automaton |
NDFAOperations.intersect(Automaton a1,
Automaton a2)
Return an automaton accepting the intersection of the languages of a1 and a2.
|
Automaton |
NDFAOperations.negate(Automaton a)
Return an automaton accepting the complement of the language accepted by a.
|
Automaton |
Automaton.Operations.reduce() |
Automaton |
NDFAOperations.reduce(Automaton a) |
Automaton |
Automaton.Operations.renumber() |
Automaton |
NDFAOperations.union(Automaton a1,
Automaton a2)
Return an automaton accepting the union of the languages of a1 and a2.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<State,java.lang.Object> |
NDFAOperations.copyStates(Automaton a,
AutomatonFactory factory) |
protected void |
NDFAOperations.copyTransitions(Automaton a,
AutomatonFactory factory,
java.util.Map<State,java.lang.Object> stateMap) |
DeterministicAutomaton |
NDFAOperations.determinize(Automaton a)
Return a deterministic automaton accepting the same language as a.
|
static void |
DOTExporter.exportToDot(Automaton a,
java.lang.String name,
java.io.Writer w) |
protected int |
NDFAOperations.getMaxId(Automaton a) |
Automaton |
Automaton.Operations.intersect(Automaton b) |
Automaton |
NDFAOperations.intersect(Automaton a1,
Automaton a2)
Return an automaton accepting the intersection of the languages of a1 and a2.
|
boolean |
NDFAOperations.isAll(Automaton a)
Returns if this automaton definitely accepts all strings (i.e., if it return true, the
automaton accepts all strings, if it returns false, it most likely doesn't).
|
boolean |
NDFAOperations.isEmpty(Automaton a)
Returns if this automaton definitely accepts the empty language (i.e., if it return true, the
automaton accepts the ampty language, if it returns false, it most likely doesn't).
|
Automaton |
NDFAOperations.negate(Automaton a)
Return an automaton accepting the complement of the language accepted by a.
|
Automaton |
NDFAOperations.reduce(Automaton a) |
Automaton |
NDFAOperations.union(Automaton a1,
Automaton a2)
Return an automaton accepting the union of the languages of a1 and a2.
|
Constructor and Description |
---|
DeterministicAutomaton(Automaton a,
boolean completed) |
ExecutableAutomaton(Automaton graph) |
Modifier and Type | Class and Description |
---|---|
class |
DataAltPrecedenceConst |
class |
DataAltResponseConst |
class |
DataChainPrecedenceConst |
class |
DataChainResponseConst |
class |
DataDeclareConstraint |
class |
DataPrecedenceConst |
class |
DataRespondedExistenceConst |
class |
DataResponseConst |
class |
NotDataChainPrecedenceConst |
class |
NotDataChainResponseConst |
class |
NotDataPrecedenceConst |
class |
NotDataRespondedExistenceConst |
class |
NotDataResponseConst |
Modifier and Type | Method and Description |
---|---|
void |
DataDeclareConstraint.createExecAutomaton(Automaton a) |