public class DPState
extends java.lang.Object
implements java.lang.Cloneable
| 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() |
public DPState(DPNet model)
public java.lang.Object clone()
clone in class java.lang.Objectpublic void addMark(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p)
public void removeMark(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p)
public void removeMark(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> p)
public void addMark(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputs)
public java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getMarks()
public java.util.Vector<DPNetNode> getAvailableActivities()
public boolean checkActivity(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputs)
public java.lang.String toString()
toString in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Object