public class RTransition extends RElement
Constructor and Description |
---|
RTransition(java.lang.String id) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<RElement> |
getRemoveSet() |
boolean |
isCancelTransition() |
void |
removeFromRemoveSet(RPlace p) |
void |
setRemoveSet(RPlace p) |
void |
setRemoveSet(java.util.Set<RElement> removeSet) |
addToCancelledBySet, addToResetMappings, addToResetMappings, addToYawlMappings, addToYawlMappings, getCancelledBySet, getID, getName, getPostsetElement, getPostsetElements, getPostsetFlows, getPresetElement, getPresetElements, getPresetFlows, getResetMappings, getYawlMappings, removeFromCancelledBySet, removePostsetFlow, removePresetFlow, setName, setPostset, setPostsetFlows, setPreset, setPresetFlows
public void setRemoveSet(java.util.Set<RElement> removeSet)
public void setRemoveSet(RPlace p)
public java.util.Set<RElement> getRemoveSet()
public void removeFromRemoveSet(RPlace p)
public boolean isCancelTransition()