public class PetrinetImplExt
extends org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl
| Constructor and Description |
|---|
PetrinetImplExt(java.lang.String label) |
| Modifier and Type | Method and Description |
|---|---|
void |
addArcsWithoutCheck(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcs)
Add a list of arcs without any checks for duplicates.
|
void |
addTransitionsWithoutCheck(java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.elements.Transition> newTransitions) |
static org.processmining.models.graphbased.directed.petrinet.elements.Arc |
createArc(org.processmining.models.graphbased.directed.petrinet.PetrinetNode source,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode target,
int weight,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
getEmptyCloneaddArc, 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, removeTransitioncheckAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdgesequals, getEdges, hashCode, removeFromEdges, removeNodeFromCollectiongetAttributeMap, getLabel, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitaddArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransitiongetEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNodeequals, getGraph, hashCodepublic void addArcsWithoutCheck(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcs)
arcs - public void addTransitionsWithoutCheck(java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.elements.Transition> newTransitions)
public static org.processmining.models.graphbased.directed.petrinet.elements.Arc createArc(org.processmining.models.graphbased.directed.petrinet.PetrinetNode source,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode target,
int weight,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)