| Class | Description |
|---|---|
| Automaton |
Precision automaton used to determine the precision between a log and a model.
|
| AutomatonEdge | |
| AutomatonFactory |
Factory to create all the precision automaton elements according with the settings.
|
| AutomatonNode | |
| AutomatonNodeNoOrder | |
| AutomatonNodeOrder | |
| AutomatonVis |
Visualization of Precision Automaton.
|