public class ReachabilityGraph
extends java.lang.Object
Constructor and Description |
---|
ReachabilityGraph(ModelAdaptor model,
NodeAdaptor initialNode,
NodeAdaptor finalNode,
java.util.Collection<NodeAdaptor> cancellationNodes) |
Modifier and Type | Method and Description |
---|---|
void |
build() |
java.util.List<NodeAdaptor> |
getDeadlockCausingNodes() |
java.util.Set<ProcessObjectAdaptor> |
getExecutedObjects() |
boolean |
hasDeadlock() |
boolean |
hasLifelock() |
boolean |
hasProperCompletion() |
BPMNModel |
toModel() |
java.lang.String |
toString() |
public ReachabilityGraph(ModelAdaptor model, NodeAdaptor initialNode, NodeAdaptor finalNode, java.util.Collection<NodeAdaptor> cancellationNodes) throws StateSpaceException
StateSpaceException
public void build() throws StateSpaceException
StateSpaceException
public java.lang.String toString()
toString
in class java.lang.Object
public BPMNModel toModel()
public boolean hasDeadlock()
public java.util.List<NodeAdaptor> getDeadlockCausingNodes()
public boolean hasLifelock()
public boolean hasProperCompletion()
public java.util.Set<ProcessObjectAdaptor> getExecutedObjects()