| Package | Description |
|---|---|
| org.processmining.plugins.petra.monotonicity.graph | |
| org.processmining.plugins.petra.monotonicity.paretofront |
| Modifier and Type | Method and Description |
|---|---|
MonoOrderNode |
MonotonicityNode.getMonoNode() |
| Constructor and Description |
|---|
MonotonicityNode(MonotonicityGraph graph,
MonoOrderNode monoNode,
boolean supremum) |
| Modifier and Type | Method and Description |
|---|---|
MonoOrderNode |
MonotonicityOrderLocal.getNext()
returns the next MonoOrderNode taking into account cut off points
|
MonoOrderNode |
MonotonicityOrderLocalImpl.getNext() |
MonoOrderNode |
MonotonicityOrderLocalLazyImpl.getNext() |
MonoOrderNode |
MonoOrderEdge.getSource() |
MonoOrderNode |
MonoOrderEdge.getTarget() |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<MonoOrderNode> |
MonoOrderNode.getChildren(Monotonicity mono) |
java.util.List<MonoOrderNode> |
MonotonicityOrderGlobal.getNodes()
Get all the nodes
|
java.util.List<MonoOrderNode> |
MonotonicityOrderGlobalImpl.getNodes() |
java.util.Set<MonoOrderNode> |
MonoOrderNode.getParents(Monotonicity mono) |
| Modifier and Type | Method and Description |
|---|---|
void |
MonoOrderNode.addChild(Monotonicity mono,
MonoOrderNode node) |
void |
MonotonicityOrderLocal.addMonoOrderNode(MonoOrderNode monoNode)
Adds a MonoOrderNode
|
void |
MonotonicityOrderLocalImpl.addMonoOrderNode(MonoOrderNode monoNode) |
void |
MonotonicityOrderLocalLazyImpl.addMonoOrderNode(MonoOrderNode monoNode) |
void |
MonoOrderNode.addParent(Monotonicity mono,
MonoOrderNode node) |
void |
MonoOrderNode.removeChild(Monotonicity mono,
MonoOrderNode node) |
void |
MonoOrderNode.removeParent(Monotonicity mono,
MonoOrderNode node) |
void |
MonoOrderEdge.setSource(MonoOrderNode source) |
void |
MonoOrderEdge.setTarget(MonoOrderNode target) |
| Constructor and Description |
|---|
MonoOrderEdge(MonoOrderNode source,
MonoOrderNode target) |