public abstract class AbstractResetInhibitorNet extends org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<Arc> |
arcs |
protected java.util.Set<InhibitorArc> |
inhibitorArcs |
protected java.util.Set<Place> |
places |
protected java.util.Set<ResetArc> |
resetArcs |
protected java.util.Set<ExpandableSubNet> |
substitutionTransitions |
protected java.util.Set<Transition> |
transitions |
Constructor and Description |
---|
AbstractResetInhibitorNet(boolean allowsReset,
boolean allowsInhibitors) |
Modifier and Type | Method and Description |
---|---|
Arc |
addArc(Place p,
Transition t) |
Arc |
addArc(Place p,
Transition t,
ExpandableSubNet parent) |
Arc |
addArc(Place p,
Transition t,
int weight) |
Arc |
addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent) |
Arc |
addArc(Transition t,
Place p) |
Arc |
addArc(Transition t,
Place p,
ExpandableSubNet parent) |
Arc |
addArc(Transition t,
Place p,
int weight) |
Arc |
addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent) |
protected Arc |
addArcPrivate(PetrinetNode src,
PetrinetNode trgt,
int weight,
ExpandableSubNet parent) |
ExpandableSubNet |
addGroup(java.lang.String label) |
ExpandableSubNet |
addGroup(java.lang.String label,
ExpandableSubNet parent) |
InhibitorArc |
addInhibitorArc(Place p,
Transition t) |
InhibitorArc |
addInhibitorArc(Place p,
Transition t,
ExpandableSubNet parent) |
InhibitorArc |
addInhibitorArc(Place p,
Transition t,
java.lang.String label) |
InhibitorArc |
addInhibitorArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
Place |
addPlace(java.lang.String label) |
Place |
addPlace(java.lang.String label,
ExpandableSubNet parent) |
ResetArc |
addResetArc(Place p,
Transition t) |
ResetArc |
addResetArc(Place p,
Transition t,
ExpandableSubNet parent) |
ResetArc |
addResetArc(Place p,
Transition t,
java.lang.String label) |
ResetArc |
addResetArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
Transition |
addTransition(java.lang.String label) |
Transition |
addTransition(java.lang.String label,
ExpandableSubNet parent) |
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
cloneFrom(AbstractResetInhibitorNet net,
boolean transitions,
boolean places,
boolean arcs,
boolean resets,
boolean inhibitors) |
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> graph)
The returned mapping satisfies:
map.keySet().containsAll(graph.getNodes()) and
map.keySet().containsAll(graph.getEdges())
|
Arc |
getArc(PetrinetNode source,
PetrinetNode target) |
java.util.Set<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
getEdges() |
java.util.Collection<ExpandableSubNet> |
getGroups() |
InhibitorArc |
getInhibitorArc(Place p,
Transition t) |
java.util.Set<PetrinetNode> |
getNodes() |
java.util.Collection<Place> |
getPlaces() |
ResetArc |
getResetArc(Place p,
Transition t) |
java.util.Collection<Transition> |
getTransitions() |
Arc |
removeArc(PetrinetNode source,
PetrinetNode target) |
void |
removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
Removes the given edge from the graph.
|
ExpandableSubNet |
removeGroup(ExpandableSubNet transition) |
InhibitorArc |
removeInhibitorArc(Place p,
Transition t) |
void |
removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node) |
Place |
removePlace(Place place) |
ResetArc |
removeResetArc(Place p,
Transition t) |
Transition |
removeTransition(Transition transition) |
checkAddEdge, compareTo, getEmptyClone, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
protected final java.util.Set<Transition> transitions
protected final java.util.Set<ExpandableSubNet> substitutionTransitions
protected final java.util.Set<Place> places
protected final java.util.Set<Arc> arcs
protected final java.util.Set<ResetArc> resetArcs
protected final java.util.Set<InhibitorArc> inhibitorArcs
public AbstractResetInhibitorNet(boolean allowsReset, boolean allowsInhibitors)
public ResetArc addResetArc(Place p, Transition t)
public ResetArc addResetArc(Place p, Transition t, ExpandableSubNet parent)
public ResetArc addResetArc(Place p, Transition t, java.lang.String label)
public ResetArc addResetArc(Place p, Transition t, java.lang.String label, ExpandableSubNet parent)
public ResetArc removeResetArc(Place p, Transition t)
public InhibitorArc addInhibitorArc(Place p, Transition t, java.lang.String label)
public InhibitorArc addInhibitorArc(Place p, Transition t, java.lang.String label, ExpandableSubNet parent)
public InhibitorArc addInhibitorArc(Place p, Transition t)
public InhibitorArc addInhibitorArc(Place p, Transition t, ExpandableSubNet parent)
public InhibitorArc removeInhibitorArc(Place p, Transition t)
public InhibitorArc getInhibitorArc(Place p, Transition t)
public ResetArc getResetArc(Place p, Transition t)
public Transition addTransition(java.lang.String label)
public Transition addTransition(java.lang.String label, ExpandableSubNet parent)
public ExpandableSubNet addGroup(java.lang.String label)
public ExpandableSubNet addGroup(java.lang.String label, ExpandableSubNet parent)
public Place addPlace(java.lang.String label)
public Place addPlace(java.lang.String label, ExpandableSubNet parent)
protected Arc addArcPrivate(PetrinetNode src, PetrinetNode trgt, int weight, ExpandableSubNet parent)
public Arc addArc(Place p, Transition t, int weight)
public Arc addArc(Place p, Transition t)
public Arc addArc(Transition t, Place p, int weight)
public Arc addArc(Transition t, Place p)
public Arc addArc(Place p, Transition t, int weight, ExpandableSubNet parent)
public Arc addArc(Place p, Transition t, ExpandableSubNet parent)
public Arc addArc(Transition t, Place p, int weight, ExpandableSubNet parent)
public Arc addArc(Transition t, Place p, ExpandableSubNet parent)
public Arc getArc(PetrinetNode source, PetrinetNode target)
public Arc removeArc(PetrinetNode source, PetrinetNode target)
public void removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
org.processmining.models.graphbased.directed.DirectedGraph
removeEdge
in interface org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
removeEdge
in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
public void removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node)
public Transition removeTransition(Transition transition)
public ExpandableSubNet removeGroup(ExpandableSubNet transition)
public java.util.Set<PetrinetNode> getNodes()
public java.util.Set<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> getEdges()
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> graph)
org.processmining.models.graphbased.directed.AbstractDirectedGraph
cloneFrom
in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> cloneFrom(AbstractResetInhibitorNet net, boolean transitions, boolean places, boolean arcs, boolean resets, boolean inhibitors)
public java.util.Collection<Place> getPlaces()
public java.util.Collection<Transition> getTransitions()
public java.util.Collection<ExpandableSubNet> getGroups()