org.processmining.plugins.historyAwareReplayer.replayer

Class DPNet

java.lang.Object

org.processmining.plugins.historyAwareReplayer.replayer.DPNet

All Implemented Interfaces:

Replayable

public class DPNet
extends java.lang.Object
implements Replayable

Field Summary

Fields

Modifier and Type	Field and Description
org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PetriNetWithData	petrinetWithData
protected int	shortestTrace

Constructor Summary

Constructors

Constructor and Description
DPNet(org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PetriNetWithData petrinetWithData)

Method Summary

Modifier and Type	Method and Description
void	addNode(DPNetNode node)
ExecutionTrace	buildEmptyPrefix()
ExecutionTrace	createLogExecutionTrace(ExecutionTrace sigmaT)
org.processmining.models.semantics.petrinet.Marking	getFinalMarking()
org.processmining.models.semantics.petrinet.Marking	getInitialMarking()
void	getInputBindings()
java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>	getInputNodes(org.processmining.models.graphbased.directed.petrinet.PetrinetNode key)
DPNetNode	getNode(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
java.util.Vector<DPNetNode>	getNodes()
java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>	getOutputNodes(org.processmining.models.graphbased.directed.petrinet.PetrinetNode key)
org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PetriNetWithData	getPetrinetWithData()
java.lang.String	getSetForVariable(java.lang.String var)
java.util.Set<java.lang.Comparable>	getSetValues(java.lang.String setForVariable)
void	initMaps()
int	lengthShortestTrace()
void	setFinalMarking(org.processmining.models.semantics.petrinet.Marking finalMarking)
void	setInitialMarking(org.processmining.models.semantics.petrinet.Marking startNode)
void	setLengthShortestTrace(int shortestTrace)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

shortestTrace

protected int shortestTrace

petrinetWithData

public org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PetriNetWithData petrinetWithData

Constructor Detail

DPNet

public DPNet(org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PetriNetWithData petrinetWithData)

Method Detail

buildEmptyPrefix

public ExecutionTrace buildEmptyPrefix()

Specified by:

buildEmptyPrefix in interface Replayable

getInputBindings

public void getInputBindings()

getSetForVariable

public java.lang.String getSetForVariable(java.lang.String var)

Specified by:

getSetForVariable in interface Replayable

getSetValues

public java.util.Set<java.lang.Comparable> getSetValues(java.lang.String setForVariable)

Specified by:

getSetValues in interface Replayable

initMaps

public void initMaps()

getInputNodes

public java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getInputNodes(org.processmining.models.graphbased.directed.petrinet.PetrinetNode key)

getOutputNodes

public java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getOutputNodes(org.processmining.models.graphbased.directed.petrinet.PetrinetNode key)

lengthShortestTrace

public int lengthShortestTrace()

Specified by:

lengthShortestTrace in interface Replayable

setLengthShortestTrace

public void setLengthShortestTrace(int shortestTrace)

createLogExecutionTrace

public ExecutionTrace createLogExecutionTrace(ExecutionTrace sigmaT)

Specified by:

createLogExecutionTrace in interface Replayable

setInitialMarking

public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking startNode)

getInitialMarking

public org.processmining.models.semantics.petrinet.Marking getInitialMarking()

addNode

public void addNode(DPNetNode node)

getNodes

public java.util.Vector<DPNetNode> getNodes()

getNode

public DPNetNode getNode(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)

setFinalMarking

public void setFinalMarking(org.processmining.models.semantics.petrinet.Marking finalMarking)

getFinalMarking

public org.processmining.models.semantics.petrinet.Marking getFinalMarking()

getPetrinetWithData

public org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PetriNetWithData getPetrinetWithData()