| Class | Description |
|---|---|
| DecisionTreeUtils | |
| DrawUtils |
This class has static methods to transform ResultObjects into DotPanels (they
are visualizable)
|
| EventToStateTranslator | |
| SettingsUtils |
Static util methods for the use of settings
|
| StatisticsUtils |
This class is used to make statistical tests through static methods
|
| TransitionSystemUtils |
This class provides the functionalities to create annotated transition
systems from transitions systems and event logs.
|
| Utils |