public interface PetrinetWithAutomata
extends org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
Modifier and Type | Method and Description |
---|---|
DeclarativeArc |
addConstraint(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to,
ConstraintType.Branched type) |
DeclarativeArc |
addConstraint(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to,
ConstraintType.Branched type,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
DeclarativeArc |
addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
ConstraintType.Unary type) |
DeclarativeArc |
addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
ConstraintType.Unary type,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
DeclarativeArc |
addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
org.processmining.models.graphbased.directed.petrinet.elements.Transition to,
ConstraintType type) |
DeclarativeArc |
addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
org.processmining.models.graphbased.directed.petrinet.elements.Transition to,
ConstraintType type,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
java.util.Collection<DeclarativeArc> |
getConstraints() |
DeclarativeArc |
removeConstraint(DeclarativeArc arc) |
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
DeclarativeArc addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from, org.processmining.models.graphbased.directed.petrinet.elements.Transition to, ConstraintType type)
DeclarativeArc addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from, org.processmining.models.graphbased.directed.petrinet.elements.Transition to, ConstraintType type, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
DeclarativeArc addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from, ConstraintType.Unary type)
DeclarativeArc addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from, ConstraintType.Unary type, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
DeclarativeArc addConstraint(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from, java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to, ConstraintType.Branched type)
DeclarativeArc addConstraint(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from, java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to, ConstraintType.Branched type, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
DeclarativeArc removeConstraint(DeclarativeArc arc)
java.util.Collection<DeclarativeArc> getConstraints()