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 |