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()