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