- GenericMap2Int<K> - Class in nl.tue.alignment.algorithms.syncproduct
-
wrapper around Map and TObjectIntMap to provide easy access to
the get(K key) method
- GenericMap2Int(Map<K, Integer>, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.GenericMap2Int
-
- GenericMap2Int(TObjectIntMap<K>, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.GenericMap2Int
-
- GenericMap2Int(int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.GenericMap2Int
-
- get(K) - Method in class nl.tue.alignment.algorithms.syncproduct.GenericMap2Int
-
- get(int) - Method in class nl.tue.alignment.algorithms.syncproduct.ObjectList
-
- getAlgorithm() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
-
- getAlgorithm() - Method in class nl.tue.alignment.algorithms.datastructures.VisitedHashSet
-
- getAlgorithm() - Method in interface nl.tue.alignment.algorithms.Queue
-
Return the algorithm for which this Queue is used.
- getAlgorithm() - Method in interface nl.tue.alignment.algorithms.VisitedSet
-
Return the algorithm for which this closedSet is used.
- getAlignmentWhenEmptyQueueReached(long) - Method in class nl.tue.alignment.algorithms.implementations.AStar.Full
-
- getAlignmentWhenEmptyQueueReached(long) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP.Full
-
- getAlignmentWhenEmptyQueueReached(long) - Method in class nl.tue.alignment.algorithms.implementations.Dijkstra.Full
-
- getCaption() - Method in class nl.tue.alignment.test.FrameContext
-
- getChildContexts() - Method in class nl.tue.alignment.test.FrameContext
-
- getConnectionManager() - Method in class nl.tue.alignment.test.FrameContext
-
- getConstraintSetSize() - Method in class nl.tue.alignment.Replayer
-
- getCost(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
returns the cost of firing t.
- getCost(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getCostFor(int[]) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
-
- getCostLM(XEventClass) - Method in class nl.tue.alignment.Replayer
-
- getCostMM(Transition) - Method in class nl.tue.alignment.Replayer
-
- getEstimatedMemorySize() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
-
- getEstimatedMemorySize() - Method in class nl.tue.alignment.algorithms.datastructures.VisitedHashSet
-
returns the maximum memory use in bytes the queue ever had.
- getEstimatedMemorySize() - Method in class nl.tue.alignment.algorithms.implementations.AStar
-
- getEstimatedMemorySize() - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
-
- getEstimatedMemorySize() - Method in interface nl.tue.alignment.algorithms.Queue
-
returns the maximum memory use in bytes the queue ever had.
- getEstimatedMemorySize() - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Estimates the memory size of the internal data structures in bytes.
- getEstimatedMemorySize() - Method in interface nl.tue.alignment.algorithms.VisitedSet
-
returns the maximum memory use in bytes the set ever had.
- getEventClass(XEvent) - Method in class nl.tue.alignment.Replayer
-
- getEventClassSequence() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
-
- getEventOf(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
returns the sequence of event numbers associated with this transition.
- getEventOf(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getExactHeuristic(int, byte[], int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStar
-
- getExactHeuristic(int, byte[], int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
-
- getExactHeuristic(int, byte[], int, int) - Method in class nl.tue.alignment.algorithms.implementations.Dijkstra
-
Dijkstra always estimates 0
- getExecutor() - Method in class nl.tue.alignment.test.FrameContext
-
- getFinalMarking() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPetriNet
-
- getFinalMarking() - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
Return the final marking
- getFinalMarking() - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getFScore(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Returns the f score (i.e.
- getFutureResult(int) - Method in class nl.tue.alignment.test.FrameContext
-
- getGScore(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Returns the g score (i.e.
- getHScore(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Returns the h score (i.e.
- getHTMLInfo() - Method in class org.processmining.alignment.plugin.AStarPlugin
-
- getHTMLInfo() - Method in class org.processmining.alignment.plugin.IterativeAStarPlugin
-
- getID() - Method in class nl.tue.alignment.test.FrameContext
-
- getInitialMarking() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPetriNet
-
- getInitialMarking() - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
Return the initial marking as an array where each byte represents the marking
of that specific place in the interval 0..3
- getInitialMarking() - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getInput() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
-
- getInput() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
-
- getInput(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
Returns a sorted array of places serving as input to transition t
- getInput(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getInputValue(int) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
-
- getIterationNumber() - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Returns the current iteration number of the algorithm if there are multiple
iterations in which the same marking IDs will be present.
- getLabel() - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
Returns the label of the synchronous product
- getLabel() - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getLabel() - Method in class nl.tue.alignment.test.FrameContext
-
- getLastRankOf(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Returns the highest rank of an event explained by the path through which the
stored marking with ID markingId was reached.
- getLoggingListeners() - Method in class nl.tue.alignment.test.FrameContext
-
- getMarking(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Returns the explicit representation of the marking stored with ID markingId.
- getMaxCost() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
-
- getMaximum() - Method in class nl.tue.alignment.test.FrameContext
-
- getMinimum() - Method in class nl.tue.alignment.test.FrameContext
-
- getModelMoveCost() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
-
- getNet() - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Returns the synchronous product for which this ReplayAlgorithm was
instantiated
- getOriginalTraceIndex() - Method in class nl.tue.alignment.TraceReplayTask
-
- getOutput() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
-
- getOutput() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
-
- getOutput(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
Returns a sorted array of places serving as output to transition t
- getOutput(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getOutputStream() - Static method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
-
Returns the output stream currently set.
- getOutputValue(int) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
-
- getParentContext() - Method in class nl.tue.alignment.test.FrameContext
-
- getPathLength(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
returns the length of the path from the initial marking to reach this marking
- getPlaceLabel(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
Return the label of a place
- getPlaceLabel(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getPlaces() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPetriNet
-
- getPluginContextType() - Method in class nl.tue.alignment.test.FrameContext
-
- getPluginDescriptor() - Method in class nl.tue.alignment.test.FrameContext
-
- getPluginLifeCycleEventListeners() - Method in class nl.tue.alignment.test.FrameContext
-
- getPluginManager() - Method in class nl.tue.alignment.test.FrameContext
-
- getProgress() - Method in class nl.tue.alignment.Replayer
-
- getProgress() - Method in class nl.tue.alignment.test.FrameContext
-
- getProgressEventListeners() - Method in class nl.tue.alignment.test.FrameContext
-
- getProvidedObjectManager() - Method in class nl.tue.alignment.test.FrameContext
-
- getRankOf(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
returns the rank of the transition.
- getRankOf(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getResult() - Method in class nl.tue.alignment.test.FrameContext
-
- getResult() - Method in class nl.tue.alignment.TraceReplayTask
-
- getRootContext() - Method in class nl.tue.alignment.test.FrameContext
-
- getStatistics() - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
-
Obtain the statistics after computing an alignment.
- getSuccesfulResult() - Method in class nl.tue.alignment.TraceReplayTask
-
- getSyncProduct(XTrace, ArrayList<? super Transition>, boolean) - Method in class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
-
- getSyncProduct(XTrace, ArrayList<? super ReducedTransition>, boolean) - Method in class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
-
- getSyncProduct(XTrace, ArrayList<? super T>, boolean) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProductFactory
-
- getSyncProductForEmptyTrace(ArrayList<? super Transition>) - Method in class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
-
- getSyncProductForEmptyTrace(ArrayList<? super ReducedTransition>) - Method in class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
-
- getSyncProductForEmptyTrace(ArrayList<? super T>) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProductFactory
-
- getTrace(XTrace, boolean) - Method in class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
-
- getTrace(XTrace, boolean) - Method in class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
-
- getTrace(XTrace, boolean) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProductFactory
-
- getTraceIndex() - Method in class nl.tue.alignment.TraceReplayTask
-
- getTraceLogMoveCost() - Method in class nl.tue.alignment.TraceReplayTask
-
- getTransitionLabel(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
Returns the label of transition t
- getTransitionLabel(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getTransitionPathLength(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
Returns the path length of firing this transition in the graph.
- getTransitionPathLength(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getTransitions() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPetriNet
-
- getTransitionSequence() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
-
- getTransitionSequenceLength() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
-
- getType() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
-
- getTypeOf(int) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
-
returns the type of the transion as a byte equal to one of the constants
defined in this class: LOG_MOVE, SYNC_MOVE, MODEL_MOVE, TAU_MOVE
- getTypeOf(int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
-
- getValue() - Method in class nl.tue.alignment.test.FrameContext
-
- grow(int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
-
Increases the capacity of the array.
- growArrays() - Method in class nl.tue.alignment.algorithms.implementations.AStar
-
- growArrays() - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
-
- valueOf(String) - Static method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.CloseResult
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum nl.tue.alignment.ReplayerParameters.Algorithm
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum nl.tue.alignment.test.AlignmentTest.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum nl.tue.alignment.TraceReplayTask.TraceReplayResult
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum nl.tue.alignment.Utils.Statistic
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.CloseResult
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition.Type
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum nl.tue.alignment.ReplayerParameters.Algorithm
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum nl.tue.alignment.test.AlignmentTest.Type
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum nl.tue.alignment.TraceReplayTask.TraceReplayResult
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum nl.tue.alignment.Utils.Statistic
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- varsMainThread - Variable in class nl.tue.alignment.algorithms.implementations.AStar
-
- varsMainThread - Variable in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
-
- VisitedHashSet - Class in nl.tue.alignment.algorithms.datastructures
-
- VisitedHashSet(ReplayAlgorithm, int) - Constructor for class nl.tue.alignment.algorithms.datastructures.VisitedHashSet
-
Initializes a closed set with the given initial capacity
- VisitedSet - Interface in nl.tue.alignment.algorithms
-