| 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.
|