Skip navigation links
A B C D E F G H I L M N O P Q R S T U V W 

A

AbstractAlignmentPlugin - Class in org.processmining.alignment.plugin
 
AbstractAlignmentPlugin() - Constructor for class org.processmining.alignment.plugin.AbstractAlignmentPlugin
 
add(Constraint) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
add(int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
Inserts the specified element into this priority queue.
add(byte[], int) - Method in class nl.tue.alignment.algorithms.datastructures.VisitedHashSet
 
add(int) - Method in interface nl.tue.alignment.algorithms.Queue
add a new marking to the queue.
add(T) - Method in class nl.tue.alignment.algorithms.syncproduct.ObjectList
 
add(byte[], int) - Method in interface nl.tue.alignment.algorithms.VisitedSet
Add a marking to the set of visited markings.
addConnection(T) - Method in class nl.tue.alignment.test.FrameContext
 
addInput(int, int) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
addLogAndSyncMovesToSolver(double[], int, int, int, int, boolean) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
addModelMovesToSolver(double[], int, int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
addNewMarking(byte[]) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Adds a new marking to the internal storage.
addOutput(int, int) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
addToFinalMarking(int...) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
addToInitialMarking(int...) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
addToInput(ReducedTransition, int) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
 
addToInput(ReducedPlace, int) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
addToInput(int, int...) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
addToOutput(ReducedTransition, int) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
 
addToOutput(ReducedPlace, int) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
addToOutput(int, int...) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
algorithm - Variable in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
algorithm - Variable in class nl.tue.alignment.ReplayerParameters
 
AlignmentTest - Class in nl.tue.alignment.test
 
AlignmentTest() - Constructor for class nl.tue.alignment.test.AlignmentTest
 
AlignmentTest.Type - Enum in nl.tue.alignment.test
 
asBag(byte[], SyncProduct) - Static method in class nl.tue.alignment.Utils
 
AStar - Class in nl.tue.alignment.algorithms.implementations
Implements a variant of AStar intest path algorithm for alignments.
AStar(SyncProduct) - Constructor for class nl.tue.alignment.algorithms.implementations.AStar
 
AStar(SyncProduct, boolean, boolean, boolean, boolean, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.AStar
 
AStar() - Constructor for class nl.tue.alignment.ReplayerParameters.AStar
 
AStar(ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.ReplayerParameters.AStar
 
AStar(boolean, boolean, boolean, int, boolean, ReplayAlgorithm.Debug, int, int, int, boolean) - Constructor for class nl.tue.alignment.ReplayerParameters.AStar
 
AStar(boolean, boolean, boolean, int, boolean, ReplayAlgorithm.Debug, int, int, int, boolean, int) - Constructor for class nl.tue.alignment.ReplayerParameters.AStar
 
AStar(boolean, boolean, boolean, int, boolean, ReplayAlgorithm.Debug, int, int, int, boolean, int, boolean) - Constructor for class nl.tue.alignment.ReplayerParameters.AStar
 
AStar.Full - Class in nl.tue.alignment.algorithms.implementations
Special version of AStar that builds the entire search space, i.e.
AStarLargeLP - Class in nl.tue.alignment.algorithms.implementations
Implements a variant of AStar intest path algorithm for alignments.
AStarLargeLP(SyncProduct) - Constructor for class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
AStarLargeLP(SyncProduct, boolean, boolean, ReplayAlgorithm.Debug, int[]) - Constructor for class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
AStarLargeLP(SyncProduct, boolean, boolean, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
AStarLargeLP(SyncProduct, boolean, boolean, int, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
AStarLargeLP.Full - Class in nl.tue.alignment.algorithms.implementations
Special version of AStarLargeLP that builds the entire search space, i.e.
AStarPlugin - Class in org.processmining.alignment.plugin
 
AStarPlugin() - Constructor for class org.processmining.alignment.plugin.AStarPlugin
 
asVector(byte[], SyncProduct) - Static method in class nl.tue.alignment.Utils
 

B

BasicCodeSnippet - Class in nl.tue.alignment.test
 
BasicCodeSnippet() - Constructor for class nl.tue.alignment.test.BasicCodeSnippet
 
BasicSyncProductFactory - Class in nl.tue.alignment.algorithms.syncproduct
 
BasicSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, Marking, Marking) - Constructor for class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
 
BasicSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, Map<Transition, Integer>, Map<XEventClass, Integer>, Map<Transition, Integer>, Marking, Marking) - Constructor for class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
 
BasicSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, TObjectIntMap<Transition>, TObjectIntMap<XEventClass>, TObjectIntMap<Transition>, Marking, Marking) - Constructor for class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
 
BasicSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, Map<Transition, Integer>, Map<XEventClass, Integer>, Marking, Marking) - Constructor for class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
 
BasicSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, TObjectIntMap<Transition>, TObjectIntMap<XEventClass>, Marking, Marking) - Constructor for class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
 
BPDC2019 - Class in nl.tue.alignment.test
 
BPDC2019() - Constructor for class nl.tue.alignment.test.BPDC2019
 
buildFullStatespace - Variable in class nl.tue.alignment.ReplayerParameters
 

C

call() - Method in class nl.tue.alignment.TraceReplayTask
 
cancel() - Method in class nl.tue.alignment.test.FrameContext
 
Canceler - Interface in nl.tue.alignment
 
CANCELLED - Static variable in class nl.tue.alignment.Utils
 
canMerge(int, ReducedTransition...) - Static method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
Checks if the sources can be merged and if so returns the merge type.
capacity() - Method in class nl.tue.alignment.algorithms.datastructures.VisitedHashSet
 
capacity() - Method in interface nl.tue.alignment.algorithms.VisitedSet
returns the current capacity of the set, including the non-used slots.
checkInv() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
checkInv(int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
checkInv() - Method in interface nl.tue.alignment.algorithms.Queue
Debugging method that checks the queue invariant on the queue
class2id - Variable in class nl.tue.alignment.Replayer
 
clear() - Method in class nl.tue.alignment.algorithms.datastructures.VisitedHashSet
 
clear() - Method in interface nl.tue.alignment.algorithms.VisitedSet
empties the set and restores it to its original state
clear() - Method in class nl.tue.alignment.test.FrameContext
 
computeCostForVars(double[]) - Method in class nl.tue.alignment.algorithms.implementations.AStar
 
computeCostForVars(double[]) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
computePNRepResult(Progress, XLog) - Method in class nl.tue.alignment.Replayer
 
Constraint - Class in nl.tue.alignment.algorithms.constraints
 
Constraint(int, int) - Constructor for class nl.tue.alignment.algorithms.constraints.Constraint
 
ConstraintSet - Class in nl.tue.alignment.algorithms.constraints
 
ConstraintSet(Petrinet, Marking, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping) - Constructor for class nl.tue.alignment.algorithms.constraints.ConstraintSet
 
constructMappingBasedOnLabelEquality(PetrinetGraph, XLog, XEventClass, XEventClassifier) - Static method in class nl.tue.alignment.test.BasicCodeSnippet
 
constructNet(String) - Static method in class nl.tue.alignment.test.BasicCodeSnippet
 
constructParamProvider(PluginContext, PetrinetGraph, XLog, TransEvClassMapping) - Method in class org.processmining.alignment.plugin.AbstractAlignmentPlugin
 
constructReplayer(Petrinet, XLog, TransEvClassMapping, ReplayerParameters, XLogInfo) - Method in class org.processmining.alignment.plugin.AbstractAlignmentPlugin
 
constructReplayParameters(int, boolean, int) - Method in class org.processmining.alignment.plugin.AbstractAlignmentPlugin
 
constructReplayParameters(int, boolean, int) - Method in class org.processmining.alignment.plugin.AStarPlugin
 
constructReplayParameters(int, boolean, int) - Method in class org.processmining.alignment.plugin.IterativeAStarPlugin
 
contains(int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
contains(int) - Method in interface nl.tue.alignment.algorithms.Queue
Checks if the the stored marking with ID markingId is contained in this queue.
cost - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
COSTFUNCTIONOVERFLOW - Static variable in class nl.tue.alignment.Utils
 
COSTLIMITREACHED - Static variable in class nl.tue.alignment.Utils
 
costUpperBound - Variable in class nl.tue.alignment.ReplayerParameters
 
createChildContext(String) - Method in class nl.tue.alignment.test.FrameContext
 
createClass2ID(XEventClasses) - Static method in class nl.tue.alignment.Utils
 
createList(TransitionEventClassList, int, int) - Static method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
Split a list of transitionEventClasses into a list of reduced transitions, each corresponding to exactly one event.
createNewPluginContextID() - Method in class nl.tue.alignment.test.FrameContext
 
createSyncProductFactory(ReplayerParameters, Petrinet, Marking, Marking, XEventClasses, Map<Transition, Integer>, Map<XEventClass, Integer>, Map<Transition, Integer>, TransEvClassMapping) - Method in class nl.tue.alignment.Replayer
 

D

debug - Variable in class nl.tue.alignment.ReplayerParameters
 
Default() - Constructor for class nl.tue.alignment.ReplayerParameters.Default
 
Default(int, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.ReplayerParameters.Default
 
Default(int, int, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.ReplayerParameters.Default
 
DEFAULTBLOCKSIZE - Static variable in class nl.tue.alignment.Utils
Default block size determines how many bytes are reserved top store markings.
DEFAULTQUEUESIZE - Static variable in class nl.tue.alignment.Utils
Initial size of the priority queue.
DEFAULTVISITEDSIZE - Static variable in class nl.tue.alignment.Utils
Initial size of the visited state set.
deleteChild(PluginContext) - Method in class nl.tue.alignment.test.FrameContext
 
deriveOrEstimateHValue(int, int, int, int, int, int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStar
 
deriveOrEstimateHValue(int, int, int, int, int, int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
deriveOrEstimateHValue(int, int, int, int, int, int, int) - Method in class nl.tue.alignment.algorithms.implementations.Dijkstra
 
Dijkstra - Class in nl.tue.alignment.algorithms.implementations
Implements a variant of Dijkstra's intest path algorithm for alignments, i.e.
Dijkstra(SyncProduct) - Constructor for class nl.tue.alignment.algorithms.implementations.Dijkstra
 
Dijkstra(SyncProduct, boolean, boolean, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.Dijkstra
 
Dijkstra() - Constructor for class nl.tue.alignment.ReplayerParameters.Dijkstra
 
Dijkstra(ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.ReplayerParameters.Dijkstra
 
Dijkstra(boolean, boolean, int, ReplayAlgorithm.Debug, int, int, int, boolean) - Constructor for class nl.tue.alignment.ReplayerParameters.Dijkstra
 
Dijkstra(boolean, boolean, int, ReplayAlgorithm.Debug, int, int, int, boolean, int) - Constructor for class nl.tue.alignment.ReplayerParameters.Dijkstra
 
Dijkstra(boolean, boolean, int, ReplayAlgorithm.Debug, int, int, int, boolean, int, boolean) - Constructor for class nl.tue.alignment.ReplayerParameters.Dijkstra
 
Dijkstra.Full - Class in nl.tue.alignment.algorithms.implementations
Special version of Dijkstra that builds the entire search space, i.e.
doReplay(XLog, Petrinet, Marking, Marking, XEventClasses, TransEvClassMapping, Map<Transition, Integer>, Map<Transition, Integer>, Map<XEventClass, Integer>) - Static method in class nl.tue.alignment.test.BasicCodeSnippet
 
doReplay(XTrace, int, int, long, int...) - Method in class nl.tue.alignment.TraceByTraceAlignment
returns a future to allow for normal merging procedures, but computation is synchronously.

E

EMPTY - Static variable in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
ENABLINGBLOCKEDBYOUTPUT - Static variable in class nl.tue.alignment.Utils
 
endsWith(int) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
equalMarking(int, byte[]) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Check for equality between the stored marking with ID markingId and an explicit marking.
equals(Object) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
equals(Object) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
 
equals(Object) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
equals(Object) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
eventNumbers - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 

F

FAILEDALIGNMENT - Static variable in class nl.tue.alignment.Utils
 
fillStatistics(int[]) - Method in class nl.tue.alignment.algorithms.implementations.AStar
 
fillStatistics(int[]) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
finalMarking - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
FINALMARKINGUNREACHABLE - Static variable in class nl.tue.alignment.Utils
 
forEachInputArc(TObjectIntProcedure<ReducedPlace>) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
forEachOutputArc(TObjectIntProcedure<ReducedPlace>) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
forEachSynchronousSequence(TObjectIntProcedure<TransitionEventClassList>) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
frame - Static variable in class nl.tue.alignment.test.AlignmentTest
 
FrameContext - Class in nl.tue.alignment.test
 
FrameContext() - Constructor for class nl.tue.alignment.test.FrameContext
 
Full(SyncProduct) - Constructor for class nl.tue.alignment.algorithms.implementations.AStar.Full
 
Full(SyncProduct, boolean, boolean, boolean, boolean, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.AStar.Full
 
Full(SyncProduct) - Constructor for class nl.tue.alignment.algorithms.implementations.AStarLargeLP.Full
 
Full(SyncProduct, boolean, boolean, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.AStarLargeLP.Full
 
Full(SyncProduct, boolean, boolean, ReplayAlgorithm.Debug, int[]) - Constructor for class nl.tue.alignment.algorithms.implementations.AStarLargeLP.Full
 
Full(SyncProduct, boolean, boolean, int, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.AStarLargeLP.Full
 
Full(SyncProduct) - Constructor for class nl.tue.alignment.algorithms.implementations.Dijkstra.Full
 
Full(SyncProduct, boolean, boolean, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.Dijkstra.Full
 
FullStatespaceBuilder - Class in nl.tue.alignment.algorithms.implementations
Implements a variant of Dijkstra's shortest path algorithm for alignments, i.e.
FullStatespaceBuilder(SyncProduct, boolean, boolean, ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.algorithms.implementations.FullStatespaceBuilder
 

G

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
 

H

hasExactHeuristic(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Checks if the stored marking with ID markingId has an exact value for the heuristic function g.
HashBackedPriorityQueue - Class in nl.tue.alignment.algorithms.datastructures
 
HashBackedPriorityQueue(ReplayAlgorithm, int) - Constructor for class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
HashBackedPriorityQueue(ReplayAlgorithm, int, int) - Constructor for class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
hashCode() - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
hashCode() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
hashCode(byte[]) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Returns the hashCode for a marking represented explicitly as an array of bytes.
hashCode(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Returns the hashCode for the stored marking with ID markingId.
hashCode() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
 
hashCode() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
hashCode() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
hasPluginDescriptorInPath(PluginDescriptor, int) - Method in class nl.tue.alignment.test.FrameContext
 
HEURISTICFUNCTIONOVERFLOW - Static variable in class nl.tue.alignment.Utils
 
HEURISTICSCOMPUTED - Static variable in class nl.tue.alignment.Replayer
 
heuristicsComputedInRun - Variable in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 

I

importPnmlFromStream(InputStream, String, long) - Static method in class nl.tue.alignment.test.AlignmentTest
 
inc() - Method in interface nl.tue.alignment.Progress
 
inc() - Method in class nl.tue.alignment.test.FrameContext
 
include() - Method in enum nl.tue.alignment.test.AlignmentTest.Type
 
IncrementalAStar() - Constructor for class nl.tue.alignment.ReplayerParameters.IncrementalAStar
 
IncrementalAStar(ReplayAlgorithm.Debug) - Constructor for class nl.tue.alignment.ReplayerParameters.IncrementalAStar
 
IncrementalAStar(boolean, int, boolean, ReplayAlgorithm.Debug, int, int, int, boolean, boolean) - Constructor for class nl.tue.alignment.ReplayerParameters.IncrementalAStar
 
IncrementalAStar(boolean, int, boolean, ReplayAlgorithm.Debug, int, int, int, boolean, int) - Constructor for class nl.tue.alignment.ReplayerParameters.IncrementalAStar
 
IncrementalAStar(boolean, int, boolean, ReplayAlgorithm.Debug, int, int, int, boolean, boolean, int, int) - Constructor for class nl.tue.alignment.ReplayerParameters.IncrementalAStar
 
IncrementalAStar(boolean, int, boolean, ReplayAlgorithm.Debug, int, int, int, boolean, boolean, int, int, boolean) - Constructor for class nl.tue.alignment.ReplayerParameters.IncrementalAStar
 
INHIBITOR - Static variable in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
initializeIteration() - Method in class nl.tue.alignment.algorithms.implementations.AStar
 
initializeIteration() - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
initialSplits - Variable in class nl.tue.alignment.ReplayerParameters
 
initMarking - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
input - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
INVISIBLE - Static variable in interface nl.tue.alignment.Progress
 
invokeBinding(PluginParameterBinding, Object...) - Method in class nl.tue.alignment.test.FrameContext
 
invokePlugin(PluginDescriptor, int, Object...) - Method in class nl.tue.alignment.test.FrameContext
 
isAllReqSatisfied(PluginContext, PetrinetGraph, XLog, TransEvClassMapping, IPNReplayParameter) - Method in class org.processmining.alignment.plugin.AbstractAlignmentPlugin
Return true if all replay inputs are correct
isBetter(int, int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
First order sorting is based on F score alone.
isBetter(int, int) - Method in class nl.tue.alignment.algorithms.datastructures.SortedHashBackedPriorityQueue
First order sorting is based on F score.
isCanceled() - Method in interface nl.tue.alignment.Canceler
 
isCancelled() - Method in class nl.tue.alignment.test.FrameContext
 
isClosed(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Checks if the stored marking with ID markingId is in the closed Set.
isDistantChildOf(PluginContext) - Method in class nl.tue.alignment.test.FrameContext
 
isEmpty() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
isEmpty() - Method in interface nl.tue.alignment.algorithms.Queue
returns true if the queue is empty
isFinal(int) - Method in class nl.tue.alignment.algorithms.implementations.AStar.Full
 
isFinal(int) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP.Full
 
isFinal(int) - Method in class nl.tue.alignment.algorithms.implementations.Dijkstra.Full
 
isFinal(int) - Method in class nl.tue.alignment.algorithms.implementations.Dijkstra
To allow for prefix versions of this algorithm, ask the net if the given marking is final.
isFinal(int) - Method in class nl.tue.alignment.algorithms.implementations.FullStatespaceBuilder
 
isFinalMarking(byte[]) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
Checks if a given marking is the (a) final marking
isFinalMarking(byte[]) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
for full alignments: return Arrays.equals(marking, finalMarking); for prefix alignments: check only if a specific place is marked.
isFinalMarking(byte[]) - Method in class nl.tue.alignment.test.SmallTests.SyncProductExampleBook
 
isIndeterminate() - Method in class nl.tue.alignment.test.FrameContext
 
isInfinite(int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Checks if a value for the h-score is INFINITE.
isParameterReqCorrect(PetrinetGraph, XLog, TransEvClassMapping, IPNReplayParameter) - Method in class org.processmining.alignment.plugin.AbstractAlignmentPlugin
Return true if all replay inputs are correct: parameter type is correct and non empty (no null); all transitions are mapped to cost; all event classes (including dummy event class, i.e.
isReqWOParameterSatisfied(PluginContext, PetrinetGraph, XLog, TransEvClassMapping) - Method in class org.processmining.alignment.plugin.AbstractAlignmentPlugin
Return true if input of replay without parameters are correct
iteration - Static variable in class nl.tue.alignment.test.AlignmentTest
 
IterativeAStarPlugin - Class in org.processmining.alignment.plugin
 
IterativeAStarPlugin() - Constructor for class org.processmining.alignment.plugin.IterativeAStarPlugin
 

L

label - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
LM - Static variable in class nl.tue.alignment.test.SmallTests
 
locationMap - Variable in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
log(String) - Method in interface nl.tue.alignment.Progress
 
log(String, Logger.MessageLevel) - Method in class nl.tue.alignment.test.FrameContext
 
log(String) - Method in class nl.tue.alignment.test.FrameContext
 
log(Throwable) - Method in class nl.tue.alignment.test.FrameContext
 
LOG_MOVE - Static variable in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
 

M

main(String[]) - Static method in class nl.tue.alignment.test.AlignmentTest
 
main(String[]) - Static method in class nl.tue.alignment.test.BasicCodeSnippet
 
main(String[]) - Static method in class nl.tue.alignment.test.BPDC2019
 
main(String[]) - Static method in class nl.tue.alignment.test.MergeLogs
 
main(String[]) - Static method in class nl.tue.alignment.test.SmallTests
 
mainFileFolder(ReplayAlgorithm.Debug, int, String...) - Static method in class nl.tue.alignment.test.AlignmentTest
 
mainFolder(ReplayAlgorithm.Debug, int, String...) - Static method in class nl.tue.alignment.test.AlignmentTest
 
mapsTo(int[]) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
maxCapacity() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
maxCapacity() - Method in interface nl.tue.alignment.algorithms.Queue
returns the maximum memory capacity the queue ever had.
maxCost - Variable in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
The maximum total cost for any record in this queue.
maximumNumberOfStates - Variable in class nl.tue.alignment.ReplayerParameters
 
MAXMODELMOVECOST - Static variable in class nl.tue.alignment.Replayer
 
maxReducedSequenceLength - Variable in class nl.tue.alignment.ReplayerParameters
 
maxSize() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
maxSize() - Method in interface nl.tue.alignment.algorithms.Queue
returns maximum number of elements the queue ever contained.
MAXTRANS - Static variable in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
 
MEMORYUSED - Static variable in class nl.tue.alignment.Replayer
 
merge(ReducedTransition.Type, ReducedTransition...) - Static method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
Merges transitions based on the merge type given.
merge(List<Future<TraceReplayTask>>) - Method in class nl.tue.alignment.TraceByTraceAlignment
merge the future's
mergeChoice(ReducedTransition...) - Static method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
Constructs a new reduced transition which is the exclusive choice merge of the input
MergeLogs - Class in nl.tue.alignment.test
 
MergeLogs() - Constructor for class nl.tue.alignment.test.MergeLogs
 
mergeResults(List<Future<TraceReplayTask>>) - Method in class nl.tue.alignment.Replayer
 
mergeSequence(ReducedTransition...) - Static method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
Constructs a new reduced transition which is the sequential merge of the input
MM - Static variable in class nl.tue.alignment.test.SmallTests
 
MODEL_MOVE - Static variable in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
 
moveSort - Variable in class nl.tue.alignment.ReplayerParameters
 

N

NastySyncProductExample() - Constructor for class nl.tue.alignment.test.SmallTests.NastySyncProductExample
 
NE - Static variable in class nl.tue.alignment.test.SmallTests
 
NEV - Static variable in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
NEV - Static variable in class nl.tue.alignment.algorithms.datastructures.VisitedHashSet
 
nl.tue.alignment - package nl.tue.alignment
 
nl.tue.alignment.algorithms - package nl.tue.alignment.algorithms
 
nl.tue.alignment.algorithms.constraints - package nl.tue.alignment.algorithms.constraints
 
nl.tue.alignment.algorithms.datastructures - package nl.tue.alignment.algorithms.datastructures
 
nl.tue.alignment.algorithms.implementations - package nl.tue.alignment.algorithms.implementations
 
nl.tue.alignment.algorithms.syncproduct - package nl.tue.alignment.algorithms.syncproduct
 
nl.tue.alignment.algorithms.syncproduct.petrinet - package nl.tue.alignment.algorithms.syncproduct.petrinet
 
nl.tue.alignment.test - package nl.tue.alignment.test
 
NOEVENT - Static variable in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
 
NORANK - Static variable in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
 
NR - Static variable in class nl.tue.alignment.test.SmallTests
 
nThreads - Variable in class nl.tue.alignment.ReplayerParameters
 
numEventClasses() - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
returns the number of event classes known to this product
numEventClasses() - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
numEvents() - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
The number of events in the trace
numEvents() - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
numModelMoves() - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
returns the number of model moves in this product
numModelMoves() - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
numPlaces() - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
The number of places is in principle bounded Integer.MAX_VALUE
numPlaces() - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
numTransitions() - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
Returns the number of transitions.
numTransitions() - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 

O

ObjectList<T> - Class in nl.tue.alignment.algorithms.syncproduct
 
ObjectList(int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.ObjectList
 
offer(int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
Inserts the specified element into this priority queue.
OPTIMALALIGNMENT - Static variable in class nl.tue.alignment.Utils
 
org.processmining.alignment.plugin - package org.processmining.alignment.plugin
 
output - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 

P

partiallyOrderEvents - Variable in class nl.tue.alignment.ReplayerParameters
 
peek() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
peek(int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
peek() - Method in interface nl.tue.alignment.algorithms.Queue
Show the number of the marking at the head of the priority queue
places - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
poll() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
poll() - Method in interface nl.tue.alignment.algorithms.Queue
remove and return the head of the queue
preferExact - Variable in class nl.tue.alignment.ReplayerParameters
 
PREPROCESSTIME - Static variable in class nl.tue.alignment.Replayer
 
preProcessUsingPlaceBasedConstraints - Variable in class nl.tue.alignment.ReplayerParameters
 
print(ReplayAlgorithm.Debug, String) - Method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
 
println(ReplayAlgorithm.Debug, String) - Method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
 
println(ReplayAlgorithm.Debug) - Method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
 
processedMarking(int, int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStar
 
processedMarking(int, int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
Progress - Interface in nl.tue.alignment
 
putStatistic(Utils.Statistic, int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Adds a statistic to the set of statistics.

Q

queue - Variable in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
Priority queue represented as a balanced binary heap: the two children of queue[n] are queue[2*n+1] and queue[2*(n+1)].
Queue - Interface in nl.tue.alignment.algorithms
 
queueSort - Variable in class nl.tue.alignment.ReplayerParameters
 

R

ranks - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
reduce(int, int) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPetriNet
 
ReducedPetriNet - Class in nl.tue.alignment.algorithms.syncproduct.petrinet
 
ReducedPetriNet(Petrinet, XEventClasses, TObjectIntMap<Transition>, TObjectIntMap<XEventClass>, TransEvClassMapping, GenericMap2Int<Transition>, GenericMap2Int<XEventClass>, GenericMap2Int<Transition>, Marking, Marking) - Constructor for class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPetriNet
 
ReducedPlace - Class in nl.tue.alignment.algorithms.syncproduct.petrinet
 
ReducedPlace(int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
 
ReducedSyncProductFactory - Class in nl.tue.alignment.algorithms.syncproduct
 
ReducedSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, Marking, Marking, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
 
ReducedSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, Map<Transition, Integer>, Map<XEventClass, Integer>, Map<Transition, Integer>, Marking, Marking, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
 
ReducedSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, TObjectIntMap<Transition>, TObjectIntMap<XEventClass>, TObjectIntMap<Transition>, Marking, Marking, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
 
ReducedSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, Map<Transition, Integer>, Map<XEventClass, Integer>, Marking, Marking, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
 
ReducedSyncProductFactory(Petrinet, XEventClasses, TObjectIntMap<XEventClass>, TransEvClassMapping, TObjectIntMap<Transition>, TObjectIntMap<XEventClass>, Marking, Marking, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
 
ReducedTransition - Class in nl.tue.alignment.algorithms.syncproduct.petrinet
 
ReducedTransition(int, int, int, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
ReducedTransition(int, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
ReducedTransition.Type - Enum in nl.tue.alignment.algorithms.syncproduct.petrinet
 
ReplayAlgorithm - Interface in nl.tue.alignment.algorithms
 
ReplayAlgorithm.CloseResult - Enum in nl.tue.alignment.algorithms
 
ReplayAlgorithm.Debug - Enum in nl.tue.alignment.algorithms
Debug levels for the replayer.
Replayer - Class in nl.tue.alignment
 
Replayer(Petrinet, Marking, Marking, XEventClasses, Map<Transition, Integer>, Map<XEventClass, Integer>, TransEvClassMapping, boolean) - Constructor for class nl.tue.alignment.Replayer
 
Replayer(Petrinet, Marking, Marking, XEventClasses, TransEvClassMapping, boolean) - Constructor for class nl.tue.alignment.Replayer
 
Replayer(ReplayerParameters, Petrinet, Marking, Marking, XEventClasses, Map<Transition, Integer>, Map<XEventClass, Integer>, TransEvClassMapping, boolean) - Constructor for class nl.tue.alignment.Replayer
 
Replayer(ReplayerParameters, Petrinet, Marking, Marking, XEventClasses, TransEvClassMapping, boolean) - Constructor for class nl.tue.alignment.Replayer
 
Replayer(ReplayerParameters, Petrinet, Marking, Marking, XEventClasses, Map<Transition, Integer>, Map<XEventClass, Integer>, Map<Transition, Integer>, TransEvClassMapping, boolean) - Constructor for class nl.tue.alignment.Replayer
 
ReplayerParameters - Class in nl.tue.alignment
 
ReplayerParameters.Algorithm - Enum in nl.tue.alignment
 
ReplayerParameters.AStar - Class in nl.tue.alignment
 
ReplayerParameters.Default - Class in nl.tue.alignment
 
ReplayerParameters.Dijkstra - Class in nl.tue.alignment
 
ReplayerParameters.IncrementalAStar - Class in nl.tue.alignment
 
replayLog(PluginContext, PetrinetGraph, XLog, TransEvClassMapping, IPNReplayParameter) - Method in class org.processmining.alignment.plugin.AbstractAlignmentPlugin
 
reset() - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
reset() - Method in class nl.tue.alignment.algorithms.constraints.ConstraintSet
 
restarts - Variable in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
rhf - Variable in class nl.tue.alignment.algorithms.implementations.AStar
 
run(Canceler, int, int, int) - Method in interface nl.tue.alignment.algorithms.ReplayAlgorithm
Run the replay algorithm.

S

satisfied() - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
satisfiedAfterOccurence(int) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
satisfiedAfterOccurence(int) - Method in class nl.tue.alignment.algorithms.constraints.ConstraintSet
 
SEP - Static variable in class nl.tue.alignment.Utils
 
sequence2cost - Variable in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
set(int, T) - Method in class nl.tue.alignment.algorithms.syncproduct.ObjectList
 
setCaption(String) - Method in class nl.tue.alignment.test.FrameContext
 
setEventOf(int, int[]) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setFinalMarking(byte[]) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setFinalMarking(int...) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setFuture(PluginExecutionResult) - Method in class nl.tue.alignment.test.FrameContext
 
setIndeterminate(boolean) - Method in class nl.tue.alignment.test.FrameContext
 
setInitialMarking(byte[]) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setInitialMarking(int...) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setInput(int, int) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
setInput(int, int...) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setMaxCost(int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
setMaximum(int) - Method in interface nl.tue.alignment.Progress
 
setMaximum(int) - Method in class nl.tue.alignment.test.FrameContext
 
setMinimum(int) - Method in class nl.tue.alignment.test.FrameContext
 
setNewLpSolution(int, double[]) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
setOutput(int, int) - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
setOutput(int, int...) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setOutputStream(PrintStream) - Static method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
Sets the output stream.
setPlaceLabel(int, String) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setPluginDescriptor(PluginDescriptor, int) - Method in class nl.tue.alignment.test.FrameContext
 
setRankOf(int, int) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setTransitionLabel(int, String) - Method in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
setValue(int) - Method in class nl.tue.alignment.test.FrameContext
 
siftDown(int, int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
Inserts item x at position k, maintaining heap invariant by demoting x down the tree repeatedly until it is less than or equal to its children or is a leaf.
siftUp(int, int) - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
Inserts item x at position k, maintaining heap invariant by promoting x up the tree until it is greater than or equal to its parent, or is the root.
size() - Method in class nl.tue.alignment.algorithms.constraints.ConstraintSet
 
size - Variable in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
The number of elements in the priority queue.
size() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
size() - Method in interface nl.tue.alignment.algorithms.Queue
Returns the current number of elements in the queue
size() - Method in class nl.tue.alignment.algorithms.syncproduct.ObjectList
 
SM - Static variable in class nl.tue.alignment.test.SmallTests
 
SmallTests - Class in nl.tue.alignment.test
 
SmallTests() - Constructor for class nl.tue.alignment.test.SmallTests
 
SmallTests.NastySyncProductExample - Class in nl.tue.alignment.test
 
SmallTests.SyncProductExampleBook - Class in nl.tue.alignment.test
 
SOLVERTIMEOUTREACHED - Static variable in class nl.tue.alignment.Utils
 
SortedHashBackedPriorityQueue - Class in nl.tue.alignment.algorithms.datastructures
 
SortedHashBackedPriorityQueue(ReplayAlgorithm, int, int, boolean) - Constructor for class nl.tue.alignment.algorithms.datastructures.SortedHashBackedPriorityQueue
Creates a HashBackedPriorityQueue with the specified initial capacity that orders its elements according to the specified comparator.
SortedHashBackedPriorityQueue(ReplayAlgorithm, int, boolean) - Constructor for class nl.tue.alignment.algorithms.datastructures.SortedHashBackedPriorityQueue
 
splits - Variable in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
STATELIMITREACHED - Static variable in class nl.tue.alignment.Utils
 
subList(int, int, int) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
SYNC_MOVE - Static variable in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
 
SyncProduct - Interface in nl.tue.alignment.algorithms.syncproduct
 
SyncProductExampleBook() - Constructor for class nl.tue.alignment.test.SmallTests.SyncProductExampleBook
 
SyncProductFactory<T> - Interface in nl.tue.alignment.algorithms.syncproduct
 
SyncProductImpl - Class in nl.tue.alignment.algorithms.syncproduct
 
SyncProductImpl(String, int, String[], String[], int[][], int[], int[], byte[], int[]) - Constructor for class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 

T

TAU_MOVE - Static variable in interface nl.tue.alignment.algorithms.syncproduct.SyncProduct
 
testSingleGraph(SyncProduct, ReplayAlgorithm.Debug) - Static method in class nl.tue.alignment.test.SmallTests
 
timeoutMilliseconds - Variable in class nl.tue.alignment.ReplayerParameters
 
TIMEOUTREACHED - Static variable in class nl.tue.alignment.Utils
 
TM - Static variable in class nl.tue.alignment.test.SmallTests
 
toArray(T[]) - Method in class nl.tue.alignment.algorithms.syncproduct.ObjectList
 
toDot(PrintStream) - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPetriNet
 
toDot(SyncProduct, PrintStream) - Static method in class nl.tue.alignment.Utils
 
toDot(SyncProduct, int[], PrintStream) - Static method in class nl.tue.alignment.Utils
 
toHTMLString() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
 
toHTMLString() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
toIdString() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
 
toIdString() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
toString() - Method in class nl.tue.alignment.algorithms.constraints.Constraint
 
toString() - Method in class nl.tue.alignment.algorithms.constraints.ConstraintSet
 
toString() - Method in class nl.tue.alignment.algorithms.datastructures.HashBackedPriorityQueue
 
toString() - Method in class nl.tue.alignment.algorithms.datastructures.VisitedHashSet
 
toString() - Method in class nl.tue.alignment.algorithms.syncproduct.ObjectList
 
toString() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedPlace
 
toString() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.ReducedTransition
 
toString() - Method in class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
toString() - Method in enum nl.tue.alignment.Utils.Statistic
 
toString() - Method in class org.processmining.alignment.plugin.AStarPlugin
 
toString() - Method in class org.processmining.alignment.plugin.IterativeAStarPlugin
 
toSyncReplayResult(Replayer, SyncProduct, TObjectIntMap<Utils.Statistic>, int[], XTrace, int, ArrayList<? super Transition>) - Method in class nl.tue.alignment.algorithms.syncproduct.BasicSyncProductFactory
 
toSyncReplayResult(Replayer, SyncProduct, TObjectIntMap<Utils.Statistic>, int[], XTrace, int, ArrayList<? super ReducedTransition>) - Method in class nl.tue.alignment.algorithms.syncproduct.ReducedSyncProductFactory
 
toSyncReplayResult(Replayer, SyncProduct, TObjectIntMap<Utils.Statistic>, int[], XTrace, int, ArrayList<? super T>) - Method in interface nl.tue.alignment.algorithms.syncproduct.SyncProductFactory
 
toTpn(SyncProduct, PrintStream) - Static method in class nl.tue.alignment.Utils
 
toTpnSplitStartComplete(SyncProduct, PrintStream) - Static method in class nl.tue.alignment.Utils
 
toVector(SyncProduct, double[], int[]) - Static method in class nl.tue.alignment.Utils
 
TraceByTraceAlignment - Class in nl.tue.alignment
To use this class for experiments, the following code snippet can be used.
TraceByTraceAlignment(Petrinet, Marking, Marking, XEventClasses, TransEvClassMapping) - Constructor for class nl.tue.alignment.TraceByTraceAlignment
Setup the trace-by-trace replayer using default parameters for the given net and log with a default, label-based mapping.
TRACEEXITCODE - Static variable in class nl.tue.alignment.Replayer
 
TraceReplayTask - Class in nl.tue.alignment
 
TraceReplayTask(Replayer, ReplayerParameters, int, int, long, int...) - Constructor for class nl.tue.alignment.TraceReplayTask
 
TraceReplayTask(Replayer, ReplayerParameters, int, int, int...) - Constructor for class nl.tue.alignment.TraceReplayTask
Deprecated.
TraceReplayTask(Replayer, ReplayerParameters, XTrace, int, int, int, long, int...) - Constructor for class nl.tue.alignment.TraceReplayTask
 
TraceReplayTask(Replayer, ReplayerParameters, XTrace, int, int, int, int...) - Constructor for class nl.tue.alignment.TraceReplayTask
Deprecated.
TraceReplayTask.TraceReplayResult - Enum in nl.tue.alignment
 
TransitionEventClassList - Class in nl.tue.alignment.algorithms.syncproduct.petrinet
Keeps two lists.
TransitionEventClassList(int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
TransitionEventClassList(int, int) - Constructor for class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
TransitionEventClassList(TransitionEventClassList, TransitionEventClassList) - Constructor for class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList
 
TransitionEventClassList.Wrap - Class in nl.tue.alignment.algorithms.syncproduct.petrinet
 
transitions - Variable in class nl.tue.alignment.algorithms.syncproduct.SyncProductImpl
 
truncate(int) - Method in class nl.tue.alignment.algorithms.syncproduct.ObjectList
 
tryToFindOrConstructAllObjects(Class<T>, Class<C>, String, Object...) - Method in class nl.tue.alignment.test.FrameContext
 
tryToFindOrConstructFirstNamedObject(Class<T>, String, Class<C>, String, Object...) - Method in class nl.tue.alignment.test.FrameContext
 
tryToFindOrConstructFirstObject(Class<T>, Class<C>, String, Object...) - Method in class nl.tue.alignment.test.FrameContext
 

U

useInt - Variable in class nl.tue.alignment.ReplayerParameters
 
Utils - Class in nl.tue.alignment
 
Utils() - Constructor for class nl.tue.alignment.Utils
 
Utils.Statistic - Enum in nl.tue.alignment
 

V

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
 

W

Wrap(int[]) - Constructor for class nl.tue.alignment.algorithms.syncproduct.petrinet.TransitionEventClassList.Wrap
 
writeEdgeTraversed(ReplayAlgorithm, int, int, int, String) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
writeEdgeTraversed(ReplayAlgorithm, int, int, int, String) - Method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
Should be called when an edge is traversed in the search from marking with ID fromMarking to marking with ID toMarking though firing transition.
writeEdgeTraversed(ReplayAlgorithm, int, int, int) - Method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
 
writeEndOfAlignmentDot(int[], int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStar
 
writeEndOfAlignmentDot(int[], int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
writeEndOfAlignmentStats(int[], int, int) - Method in class nl.tue.alignment.algorithms.implementations.AStarLargeLP
 
writeMarkingReached(ReplayAlgorithm, int, String) - Method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
 
writeMarkingReached(ReplayAlgorithm, int) - Method in enum nl.tue.alignment.algorithms.ReplayAlgorithm.Debug
 
A B C D E F G H I L M N O P Q R S T U V W 
Skip navigation links