org.processmining.plugins.historyAwareReplayer.replayer

Class DPState

java.lang.Object

org.processmining.plugins.historyAwareReplayer.replayer.DPState

All Implemented Interfaces:

java.lang.Cloneable

public class DPState
extends java.lang.Object
implements java.lang.Cloneable

Constructor Summary

Constructors

Constructor and Description
DPState(DPNet model)

Method Summary

Modifier and Type	Method and Description
void	addMark(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p)
void	addMark(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputs)
boolean	checkActivity(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputs)
java.lang.Object	clone()
boolean	equals(java.lang.Object obj)
java.util.Vector<DPNetNode>	getAvailableActivities()
java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>	getMarks()
int	hashCode()
void	removeMark(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p)
void	removeMark(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> p)
java.lang.String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DPState

public DPState(DPNet model)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

addMark

public void addMark(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p)

removeMark

public void removeMark(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p)

removeMark

public void removeMark(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> p)

addMark

public void addMark(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputs)

getMarks

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

getAvailableActivities

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

checkActivity

public boolean checkActivity(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputs)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object