public class AutomatonNodeOrder extends AutomatonNode
AVAIL_TASKS, ESCAPING_TASKS, MARKING, NUM_AVAIL_TASKS, NUM_ESCAPING_TASKS, NUM_NON_ESCAPING_TASKS, WEIGHT
Constructor and Description |
---|
AutomatonNodeOrder(java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> f) |
Modifier and Type | Method and Description |
---|---|
void |
computeMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking iniM,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> orig2new,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> new2orig)
Compute and set the marking of the node, considering the provided net and the provided initial marking.
|
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
java.lang.String |
toString() |
getAttribute, getAvailableTasks, getMarking, getWeight, putAttribute, setAvailableTasks, setMarking, setWeight
public AutomatonNodeOrder(java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> f)
public void computeMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking iniM, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> orig2new, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> new2orig)
AutomatonNode
computeMarking
in class AutomatonNode
net
- Net used to compute the marking (it could not be the original net)iniM
- Initial marking for the provided net (could not be the original initial marking)orig2new
- Map between Petrinet nodes of the original net to the one provivednew2orig
- Map between Petrinet nodes in the provided net to the original one.public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object