public class EnabledSet
extends java.lang.Object
Constructor and Description |
---|
EnabledSet(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> executableTransitions) |
Modifier and Type | Method and Description |
---|---|
void |
addAll(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> allEnabled) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getAllEnabled() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getInvisibleTransitions() |
java.lang.String |
getVisibleSetToString() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getVisibleTransitions() |
int |
size() |
java.lang.String |
toString() |
public EnabledSet(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> executableTransitions)
public int size()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getInvisibleTransitions()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getAllEnabled()
public void addAll(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> allEnabled)
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getVisibleTransitions()
public java.lang.String getVisibleSetToString()