public class RPlace extends RElement
Constructor and Description |
---|
RPlace(java.lang.String id) |
addToCancelledBySet, addToResetMappings, addToResetMappings, addToYawlMappings, addToYawlMappings, getCancelledBySet, getID, getName, getPostsetElement, getPostsetElements, getPostsetFlows, getPresetElement, getPresetElements, getPresetFlows, getResetMappings, getYawlMappings, removeFromCancelledBySet, removePostsetFlow, removePresetFlow, setName, setPostset, setPostsetFlows, setPreset, setPresetFlows