All Classes

Class	Description
AnalyzerTask
AnnotatedTransitionSystem
AnnotatedTransitionSystemImpl
Annotation	Wrapper for all the annotations that can be assigned to a single element of a transition system (i.e., state or transition)
AnnotationConstants
AnnotationElement<T>
AnnotationElementContinuous	We use floats to save space Here we dont use maps for cardinality.
AnnotationElementDiscrete	Discrete values can be repeated, so we also store the cardinality.
AnnotationElementLiteral	This class represents literal values.
AnnotationElementXAttribute
AnnotationElementXEvent
AnnotationImpl
ATSFactory	Class used to create annotated transition systems
AttributeDetailsPanel
CategoricalClassChart
ConceptDriftFinder
ConfigurableJ48
DetailsController
DetailsPanel
DrawUtils
EventTranslator	This class stores a pointer to a transition system and the settings object it was created with.
LogSplitter
LogUtils
MainController
MainView
MathUtils
MenuController
MenuPanel
ModelController
ModelPanel
NodeChart
NumericClassChart
ProcessVariantFinder
ProcessVariantFinderVisualizer
RengineUtils
Rule
RuleSet
Settings
SplitCriteriaController
SplitCriteriaPanel
SplitCriteriaRow
SplitCriteriaTableModel
StatisticalDifference
TreeRenderer
TreeSettings
TreeVisualizer	Class for displaying a Node structure in Swing.
TsSettings
TsSettingsRunner
TSUtils
VariantFinder
VariantUtils