public class TrapConnection extends AbstractComponentSetConnection
COMPONENTSET, NET
manager
TrapConnection(PetrinetGraph net, TrapSet nodeMarking)
containsObjects, containsObjects, equals, get, getID, getLabel, getMapping, getObjects, getObjectWithRole, getRoles, hashCode, isRemoved, put, remove, remove, setLabel, setManager, toString, updated
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public TrapConnection(PetrinetGraph net, TrapSet nodeMarking)