Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata |
Modifier and Type | Method and Description |
---|---|
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.complete() |
DeterministicAutomaton |
DFAOperations.complete(DeterministicAutomaton a)
Return an automaton accepting the same language as a, but where every transition is fully
specified.
|
DeterministicAutomaton |
Automaton.Operations.determinize() |
DeterministicAutomaton |
NDFAOperations.determinize(Automaton a)
Return a deterministic automaton accepting the same language as a.
|
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.intersect(DeterministicAutomaton b) |
DeterministicAutomaton |
DFAOperations.intersect(DeterministicAutomaton a,
DeterministicAutomaton b)
Construct the synchronized product of the two automata (i.e., the automaton accepting the
intersection of the languages accepted by the two automata).
|
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.minimize() |
DeterministicAutomaton |
DFAOperations.minimize(DeterministicAutomaton a)
Return a (possibly smaller) automaton accepting the same language as a.
|
DeterministicAutomaton |
DFAOperations.minimizeSimple(DeterministicAutomaton aa)
Return a (possibly smaller) automaton accepting the same language as a.
|
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.negate() |
DeterministicAutomaton |
DFAOperations.negate(DeterministicAutomaton aa)
Return an automaton accepting the complement of the language accepted by a.
|
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.reduce() |
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.renumber() |
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.union(DeterministicAutomaton b) |
DeterministicAutomaton |
DFAOperations.union(DeterministicAutomaton a,
DeterministicAutomaton b)
Construct the synchronized product of the two automata (i.e., the automaton accepting the
union of the languages accepted by the two automata).
|
Modifier and Type | Method and Description |
---|---|
DeterministicAutomaton |
DFAOperations.complete(DeterministicAutomaton a)
Return an automaton accepting the same language as a, but where every transition is fully
specified.
|
TransitionMatrix |
DFAOperations.getTransitionMatrix(DeterministicAutomaton aa)
Return transition matrix (state# -> transition# -> state#).
|
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.intersect(DeterministicAutomaton b) |
DeterministicAutomaton |
DFAOperations.intersect(DeterministicAutomaton a,
DeterministicAutomaton b)
Construct the synchronized product of the two automata (i.e., the automaton accepting the
intersection of the languages accepted by the two automata).
|
DeterministicAutomaton |
DFAOperations.minimize(DeterministicAutomaton a)
Return a (possibly smaller) automaton accepting the same language as a.
|
DeterministicAutomaton |
DFAOperations.minimizeSimple(DeterministicAutomaton aa)
Return a (possibly smaller) automaton accepting the same language as a.
|
DeterministicAutomaton |
DFAOperations.negate(DeterministicAutomaton aa)
Return an automaton accepting the complement of the language accepted by a.
|
DeterministicAutomaton |
DeterministicAutomaton.DeterministicOperations.union(DeterministicAutomaton b) |
DeterministicAutomaton |
DFAOperations.union(DeterministicAutomaton a,
DeterministicAutomaton b)
Construct the synchronized product of the two automata (i.e., the automaton accepting the
union of the languages accepted by the two automata).
|