public class PetriNetRPST
extends java.lang.Object
implements java.lang.Cloneable
Modifier | Constructor and Description |
---|---|
protected |
PetriNetRPST() |
|
PetriNetRPST(java.lang.String name,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> tree,
PetriNetRPSTNode root) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<PetriNetRPSTNode> |
getChildren(PetriNetRPSTNode parent) |
java.lang.String |
getName() |
org.processmining.acceptingpetrinet.models.AcceptingPetriNet |
getNet() |
java.util.Collection<PetriNetRPSTNode> |
getNodes() |
PetriNetRPSTNode |
getRoot() |
edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> |
getTree() |
void |
setName(java.lang.String name) |
void |
setNet(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net) |
void |
setRoot(PetriNetRPSTNode root) |
void |
setTree(edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> tree) |
protected PetriNetRPST()
public PetriNetRPST(java.lang.String name, org.processmining.acceptingpetrinet.models.AcceptingPetriNet net, edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> tree, PetriNetRPSTNode root)
public java.lang.String getName()
public void setName(java.lang.String name)
public org.processmining.acceptingpetrinet.models.AcceptingPetriNet getNet()
public void setNet(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)
public PetriNetRPSTNode getRoot()
public void setRoot(PetriNetRPSTNode root)
public java.util.Collection<PetriNetRPSTNode> getNodes()
public edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> getTree()
public void setTree(edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> tree)
public java.util.Collection<PetriNetRPSTNode> getChildren(PetriNetRPSTNode parent)