All Classes

Class	Description
AcceptStateSet
AnnotatedTransitionSystem
AnnotatedTransitionSystem
Annotation
Annotation
AnnotationConfiguration
AnnotationCostConfiguration
AnnotationElement
AnnotationElement	This class represents an annotation element that will be contained in an "Annotation" object, which may contain more AnnotationElements.
AnnotationElement.Type
AnnotationElementComparator
AnnotationProperty<T>
AnnotationTimeConfiguration
CopyLayoutPlugin
CoverabilityGraph
Duration
Duration
EventPayloadHandler
EventPayloadTransitionSystem
FrequencyStateAnnotation
FrequencyStateStatistics
FrequencyStatistics
FrequencyTransitionAnnotation
FrequencyTransitionStatistics
FrequencyTransitionSystemAnnotation
GeneralizedExitationRegionConnection
GeneralizedExitationRegions
GuiNotificationTarget	This interface needs to implemented by any class that wants to be notified by a GUI property when its state has changed.
GuiNotificationTarget	This interface needs to implemented by any class that wants to be notified by a GUI property when its state has changed.
GUIPropertyInteger	An integer property that can be readily displayed as it maintains its own GUI panel.
GUIPropertyInteger	An integer property that can be readily displayed as it maintains its own GUI panel.
GUIPropertyListEnumeration	An enumeration property that can be readily displayed as it maintains its own GUI panel.
GUIPropertyListEnumeration	An enumeration property that can be readily displayed as it maintains its own GUI panel.
InitialAndAcceptStateSearcher
Measurement<T extends Measurement<T>>
MinedTSLogFilter
MinedTSVisualization
MinimalRegionConnection
PayloadHandler<E>	This interface represents the logic of a specific strategy of "replaying" a sequence on a transition system.
PayloadTransitionSystem<E>	This class enables associating a specific strategy of "replaying" a sequence on a transition system.
ReachabilityGraph
Region
RegionConnection
RegionImpl
RegionSet
StartStateSet
State
StateAnnotation
StateAnnotation
Statistics<S,T>
StatisticsAnnotationPanel
StatisticsAnnotationPanel
StatisticsAnnotationProperty
StatisticsAnnotationPropertyComparator
StatisticsAnnotationTable
StatisticsAnnotationTable
TimeStateAnnotation
TimeStateStatistics
TimeStatistics
TimeTransitionAnnotation
TimeTransitionStatistics
TimeTransitionSystemAnnotation
TimeTSAnnotatinOSPlugin
TimeTSAnnotationOS
Transition
TransitionAnnotation
TransitionAnnotation
TransitionSystem
TransitionSystemAnnotation<S extends StateAnnotation,T extends TransitionAnnotation>
TransitionSystemAnnotation<S extends StateAnnotation,T extends TransitionAnnotation>
TransitionSystemConnection
TransitionSystemConnection<A extends AnnotatedTransitionSystem,P extends PayloadTransitionSystem<?>>
TransitionSystemConnection<A extends AnnotatedTransitionSystem,P extends PayloadTransitionSystem<?>>
TransitionSystemEditorMouseListener
TransitionSystemEditorPanel
TransitionSystemEditorPlugin
TransitionSystemEditorPopupMenu
TransitionSystemEditorVisualizerPlugin
TransitionSystemFactory
TransitionSystemImpl
TripleSlider	This class produces a slider with 2 thumbs that has 3 values.
TripleSlider	This class produces a slider with 2 thumbs that has 3 values.
TSAbstractions
TSAnalyzer
TSAnalyzer
TSAnalyzer.annotations
TSAnalyzerPlugin
TSAnalyzerPlugin
TSAnalyzerSettings
TSAnalyzerSettings
TSAnimation
TSAnimationHelp
TSAnimationPlugin
TSClassifiers
TSConversions	Possible conversions on a transition system.
TSConverter	Transition System Converter.
TSConverterHelp
TSConverterInput	Transition System Converter Input.
TSConverterOutput	Transition System Converter Output.
TSConverterPlugin
TSDirections
TSEventCache	Class that caches (and enforces sequential access to) events in a trace.
TSMiner	Transition System Miner.
TSMinerHelp
TSMinerInput	Transition System Miner Input.
TSMinerLog
TSMinerModirInput	Transition System Mode-Direction Input.
TSMinerOutput	Transition System Miner Output.
TSMinerPayload	Transition System Miner Payload These payloads are used as identifier objects for the states.
TSMinerPayloadHandler
TSMinerPlugin
TSMinerTransitionSystem
TSMinerUI
Tsml
TsmlAnnotation
TsmlAnnotationGraphics
TsmlArcGraphics
TsmlBasicObject
TsmlColor
TsmlDimension
TsmlElement
TsmlExportTS
TsmlFill
TsmlFont
TsmlImportTS
TsmlImportUtils
TsmlInscription
TsmlLine
TsmlName
TsmlNode
TsmlNodeGraphics
TsmlOffset
TsmlPosition
TsmlState
TsmlText
TsmlToolSpecific
TsmlTransition
TSTimeAnnotationGUI
Visualization	Visualization support for transition systems.
Visualization
Watcher