public class CPNGraph
extends org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl
Modifier and Type | Field and Description |
---|---|
protected int |
min_x |
protected int |
min_y |
protected java.util.Map<org.cpntools.accesscpn.model.Node,Place> |
places |
protected java.util.Map<org.cpntools.accesscpn.model.Node,Transition> |
transitions |
Constructor and Description |
---|
CPNGraph(ColouredPetriNet n,
int page_index) |
Modifier and Type | Method and Description |
---|---|
static <T> void |
cerr(T arg) |
static <T> void |
cout(T arg) |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,ArcInfo> |
getArcInfo() |
java.lang.String |
getSortsInfo() |
protected void |
storeColors(org.cpntools.accesscpn.model.PetriNet net) |
getEmptyClone
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, addTransition, addTransition, cloneFrom, cloneFrom, getArc, getEdges, getGroups, getInhibitorArc, getNodes, getPlaces, getResetArc, getTransitions, removeArc, removeEdge, removeGroup, removeInhibitorArc, removeNode, removePlace, removeResetArc, removeTransition
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode
equals, getGraph, hashCode
protected java.util.Map<org.cpntools.accesscpn.model.Node,Place> places
protected java.util.Map<org.cpntools.accesscpn.model.Node,Transition> transitions
protected int min_x
protected int min_y
public CPNGraph(ColouredPetriNet n, int page_index) throws org.cpntools.accesscpn.model.importer.NetCheckException, org.xml.sax.SAXException, java.io.IOException, javax.xml.parsers.ParserConfigurationException
n
- page_index
- org.cpntools.accesscpn.model.importer.NetCheckException
org.xml.sax.SAXException
java.io.IOException
javax.xml.parsers.ParserConfigurationException
public static <T> void cerr(T arg)
arg
- public static <T> void cout(T arg)
arg
- public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,ArcInfo> getArcInfo()
public java.lang.String getSortsInfo()
protected void storeColors(org.cpntools.accesscpn.model.PetriNet net)