public class ParallelTransitionSets
extends java.lang.Object
Constructor and Description |
---|
ParallelTransitionSets(ParallelTransitionSets cp) |
ParallelTransitionSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transSetStart,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transSetEnd) |
ParallelTransitionSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transStart,
org.processmining.models.graphbased.directed.petrinet.elements.Transition transEnd) |
ParallelTransitionSets(org.processmining.models.graphbased.directed.petrinet.elements.Transition TransitionStart,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> TransitionEnd) |
ParallelTransitionSets(org.processmining.models.graphbased.directed.petrinet.elements.Transition TransitionStart,
org.processmining.models.graphbased.directed.petrinet.elements.Transition TransitionEnd) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getEndParallelTransitions() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getStartParallelTransitions() |
void |
setEndParallelTransitions(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> endParallelTransitionsSet) |
void |
setStartParallelTransitions(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> startParallelTransitionsSet) |
public ParallelTransitionSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transSetStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transSetEnd)
public ParallelTransitionSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transStart, org.processmining.models.graphbased.directed.petrinet.elements.Transition transEnd)
public ParallelTransitionSets(org.processmining.models.graphbased.directed.petrinet.elements.Transition TransitionStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> TransitionEnd)
public ParallelTransitionSets(org.processmining.models.graphbased.directed.petrinet.elements.Transition TransitionStart, org.processmining.models.graphbased.directed.petrinet.elements.Transition TransitionEnd)
public ParallelTransitionSets(ParallelTransitionSets cp)
public void setStartParallelTransitions(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> startParallelTransitionsSet)
public void setEndParallelTransitions(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> endParallelTransitionsSet)
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEndParallelTransitions()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getStartParallelTransitions()