Uses of Interface
org.processmining.multilayeralignment.models.mlreplay.SyncProduct

Packages that use SyncProduct

Package	Description
org.processmining.multilayeralignment.algorithms
org.processmining.multilayeralignment.algorithms.implementations
org.processmining.multilayeralignment.algorithms.syncproduct
org.processmining.multilayeralignment.models.mlreplay

Uses of SyncProduct in org.processmining.multilayeralignment.algorithms

Methods in org.processmining.multilayeralignment.algorithms that return SyncProduct

Modifier and Type	Method and Description
SyncProduct	ReplayAlgorithm.getNet() Returns the synchronous product for which this ReplayAlgorithm was instantiated

Uses of SyncProduct in org.processmining.multilayeralignment.algorithms.implementations

Constructors in org.processmining.multilayeralignment.algorithms.implementations with parameters of type SyncProduct

Constructor and Description
AStar(SyncProduct product)
AStar(SyncProduct product, boolean moveSorting, boolean queueSorting, boolean preferExact, boolean isInteger, ReplayAlgorithm.Debug debug)
AStarLargeLP(SyncProduct product)
AStarLargeLP(SyncProduct product, boolean moveSorting, boolean useInteger, int initialSplits, ReplayAlgorithm.Debug debug)
AStarLargeLP(SyncProduct product, boolean moveSorting, boolean useInteger, ReplayAlgorithm.Debug debug)
AStarLargeLP(SyncProduct product, boolean moveSorting, boolean useInteger, ReplayAlgorithm.Debug debug, int[] splitpoints)
Dijkstra(SyncProduct product)
Dijkstra(SyncProduct product, boolean moveSorting, boolean queueSorting, ReplayAlgorithm.Debug debug)
Full(SyncProduct product)
Full(SyncProduct product)
Full(SyncProduct product)
Full(SyncProduct product, boolean moveSorting, boolean queueSorting, boolean preferExact, boolean isInteger, ReplayAlgorithm.Debug debug)
Full(SyncProduct product, boolean moveSorting, boolean useInteger, int initialSplits, ReplayAlgorithm.Debug debug)
Full(SyncProduct product, boolean moveSorting, boolean queueSorting, ReplayAlgorithm.Debug debug)
Full(SyncProduct product, boolean moveSorting, boolean queueSorting, ReplayAlgorithm.Debug debug)
Full(SyncProduct product, boolean moveSorting, boolean useInteger, ReplayAlgorithm.Debug debug, int[] splitpoints)
FullStatespaceBuilder(SyncProduct product, boolean moveSorting, boolean queueSorting, ReplayAlgorithm.Debug debug)

Uses of SyncProduct in org.processmining.multilayeralignment.algorithms.syncproduct

Methods in org.processmining.multilayeralignment.algorithms.syncproduct that return SyncProduct

Modifier and Type	Method and Description
SyncProduct	MlBasicSyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace xTrace, java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList, boolean partiallyOrderSameTimestamp)
SyncProduct	MlBasicSyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace pxTrace, org.deckfour.xes.model.XTrace dxTrace, java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList, boolean partiallyOrderSameTimestamp)
SyncProduct	MlBasicSyncProductFactory.getSyncProductForEmptyTrace(java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList)

Methods in org.processmining.multilayeralignment.algorithms.syncproduct with parameters of type SyncProduct

Modifier and Type	Method and Description
SyncReplayResult	MlBasicSyncProductFactory.toMLSyncReplayResult(Replayer replayer, SyncProduct product, gnu.trove.map.TObjectIntMap<Utils.Statistic> stats, int[] alignment, org.deckfour.xes.model.XTrace traceOfProcess, int traceIndexOfProcess, org.deckfour.xes.model.XTrace traceOfData, int traceIndexOfData, java.util.ArrayList<java.lang.Object> transitionList)
SyncReplayResult	MlBasicSyncProductFactory.toSyncReplayResult(Replayer replayer, SyncProduct product, gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics, int[] alignment, org.deckfour.xes.model.XTrace trace, int traceIndex, java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList)
SyncReplayResult	MlBasicSyncProductFactory.toSyncReplayResult(Replayer replayer, SyncProduct product, gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics, int[] alignment, org.deckfour.xes.model.XTrace traceOfProcess, int traceIndexOfProcess, org.deckfour.xes.model.XTrace traceOfData, int traceIndexOfData, java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList)

Uses of SyncProduct in org.processmining.multilayeralignment.models.mlreplay

Classes in org.processmining.multilayeralignment.models.mlreplay that implement SyncProduct

Modifier and Type	Class and Description
class	SyncProductImpl

Methods in org.processmining.multilayeralignment.models.mlreplay that return SyncProduct

Modifier and Type	Method and Description
SyncProduct	SyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace xTrace, java.util.ArrayList<? super T> transitionList, boolean partiallyOrderSameTimestamp)
SyncProduct	SyncProductFactory.getSyncProductForEmptyTrace(java.util.ArrayList<? super T> transitionList)

Methods in org.processmining.multilayeralignment.models.mlreplay with parameters of type SyncProduct

Modifier and Type	Method and Description
static java.lang.String	Utils.asBag(byte[] marking, SyncProduct net)
static java.lang.String	Utils.asVector(byte[] marking, SyncProduct net)
static void	Utils.toDot(SyncProduct product, int[] alignment, java.io.PrintStream stream)
static void	Utils.toDot(SyncProduct product, java.io.PrintStream stream)
SyncReplayResult	SyncProductFactory.toSyncReplayResult(Replayer replayer, SyncProduct product, gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics, int[] alignment, org.deckfour.xes.model.XTrace trace, int traceIndex, java.util.ArrayList<? super T> transitionList)
SyncReplayResult	SyncProductFactory.toSyncReplayResult(Replayer replayer, SyncProduct product, gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics, int[] alignment, org.deckfour.xes.model.XTrace traceOfProcess, int traceIndexOfProcess, org.deckfour.xes.model.XTrace traceOfData, int traceIndexOfData, java.util.ArrayList<? super T> transitionList)
static void	Utils.toTpn(SyncProduct product, java.io.PrintStream stream)
static void	Utils.toTpnSplitStartComplete(SyncProduct product, java.io.PrintStream stream)
static java.lang.String	Utils.toVector(SyncProduct product, double[] solution, int[] indexMap)