Class | Description |
---|---|
Imprecisions |
Class containing all the information about the imprecisions of a system
|
PrefixAutomaton |
Class representing a prefix automaton of a log.
|
PrefixAutomatonEdge |
Class representing an edge of the Prefix Automaton.
|
PrefixAutomatonNode |
Class representing a node of the Prefix Automaton.
|
Enum | Description |
---|---|
PrefixAutomatonNodeType |
Enumeration with the possible node types.
|