public interface MonotonicityOrderLocal
| Modifier and Type | Method and Description |
|---|---|
void |
addCutOffPoint(java.util.UUID monoNodeID)
Sets a cut off point meaning that no process model worse than this is every analysed
|
void |
addMonoOrderNode(MonoOrderNode monoNode)
Adds a MonoOrderNode
|
Monotonicity |
getMonotonicityClass()
Get the comparator to be used here
|
MonoOrderNode |
getNext()
returns the next MonoOrderNode taking into account cut off points
|
boolean |
hasNext()
returns if there is a next Process Tree taking into account the calls to stopLastReturnedPath()
|
void |
printOrdering()
TEMP function for debugging purposes
|
void |
setMonotonicityClass(Monotonicity monotonicity)
Sets the comparator to be used here
|
void setMonotonicityClass(Monotonicity monotonicity)
monotonicity - Monotonicity getMonotonicityClass()
void addMonoOrderNode(MonoOrderNode monoNode) throws java.lang.Exception
monoNode - java.lang.Exceptionboolean hasNext()
moveDownPartialOrder - MonoOrderNode getNext()
moveDownPartialOrder - void addCutOffPoint(java.util.UUID monoNodeID)
monoNode - void printOrdering()