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 t) |
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) |
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, equals, finalize, getClass, 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
public 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)
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 t)