All Classes
AcceptingPetriNet2automaton
AcceptingPetriNetMarkingSet
AcceptingPetriNetProject
Automaton
Automaton2Concatenate
Automaton2Conjunction
Automaton2Minimise
Automaton2Repeat
Automaton2Shuffle
Automaton2Union
AutomatonFailedException
AutomatonMatcher
AutomatonProvider
BasicAutomata
BasicOperations
BinomialIteratorThreadSafe
CompareLog2EfficientTreePlugin
CompareLog2PetriNet
CompareLog2PetriNetPlugin
CompareLog2PetriNetPluginScaledLogPrecision
CompareLog2ProcessTree
CompareLog2ProcessTreePlugin
CompareLog2ProcessTreePluginScaledLogPrecision
CompareParameters
CompareParameters.RecallName
CompareParametersDialog
ComparePetriNet2PetriNet
ComparePetriNet2PetriNetPlugin
CompareProcessTree2ProcessTree
CompareProcessTree2ProcessTreePlugin
Datatypes
DatatypesAutomatonProvider
DFA
DFAFactory
DFAImplEdgeList
DFAOperations
EfficientLog
EfficientTreeProject
ExponentialIteratorThreadSafe
LogModelFramework
MapConjunction
MapConjunction2
MinimizationOperations
ModelModelFramework
ProjectedRecallPrecisionAlignedLogVisualisation
ProjectedRecallPrecisionResult
ProjectedRecallPrecisionResult.ProjectedMeasuresFailedException
ProjectedRecallPrecisionResultImplBasic
ProjectedRecallPrecisionVisualiserModel
ProjectedRecallPrecisionVisualiserTable
ProjectPetriNetOntoActivities
RegExp
RunAutomaton
RunAutomaton2
ShuffleOperations
SpecialOperations
State
StatePair
StatePair
StatePairEdgesIterator
StatePairEdgesIterator.MoveType
StatePairSet
StatePairSet.StatePairIterator
StringUnionOperations
testAutomaton
testAutomatonBasic
testAutomatonFromTree
testMarkingSet
testStatePairSet
Transition
Tree2Automaton