public class ProcessState
extends java.lang.Object
Constructor and Description |
---|
ProcessState(ModelAdaptor model) |
ProcessState(ModelAdaptor model,
boolean isFinal) |
public ProcessState(ModelAdaptor model)
public ProcessState(ModelAdaptor model, boolean isFinal)
public int getTokensOnEdge(EdgeAdaptor edge)
public int getTokensOnEventBasedGateway(GatewayAdaptor gateway)
public int getTokensOn(ProcessObjectAdaptor object)
public boolean hasToken(ProcessObjectAdaptor object)
public java.util.Set<EdgeAdaptor> getEdges()
public java.util.Set<GatewayAdaptor> getEventBasedGateways()
public java.util.Set<ProcessObjectAdaptor> getObjects()
public java.util.Set<ProcessObjectAdaptor> objectsWithTokens()
public int tokenSum()
public void addTokenToEdge(EdgeAdaptor edge)
public void addTokenToEventBasedGateway(GatewayAdaptor gateway)
public void sendTokenToEdge(EdgeAdaptor edge)
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public void sendTokenToAll(java.util.List<EdgeAdaptor> edges)
public void removeTokenFrom(EdgeAdaptor edge)
public void removeTokenFrom(GatewayAdaptor eventBasedGateway)
public void removeTokenFrom(ProcessObjectAdaptor object)
public void removeTokensFromAll(java.util.List<ProcessObjectAdaptor> objects)
public ProcessState clone()
clone
in class java.lang.Object
public ProcessState cloneAndSendTokensToAll(java.util.List<EdgeAdaptor> edges)
public ProcessState cloneAndRemoveTokenFrom(ProcessObjectAdaptor object)
public ProcessState cloneAndRemoveTokensFromAll(java.util.List<ProcessObjectAdaptor> objects)
public boolean hasTokenAccumulation()
public boolean hasTokensOnSameObjectsAs(ProcessState otherState)
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toShortString()
public boolean isFinal()
public void setFinal()