Package | Description |
---|---|
org.processmining.generalizedconformance.algorithms.mover |
Modifier and Type | Method and Description |
---|---|
double |
TreeMover.apply(EditOperation op,
org.processmining.processtree.ProcessTree tree) |
int |
EditOperation.compareTo(EditOperation other) |
protected void |
TreeMover.deleteNodeFromTree(java.util.UUID uuid,
boolean reverse,
org.processmining.processtree.ProcessTree tree,
EditOperation op)
For deleting a node, we need to:
- know the parent of the node to be deleted.
|
protected void |
TreeMover.insertNodeIntoTree(java.util.UUID uuid,
boolean reverse,
org.processmining.processtree.ProcessTree tree,
EditOperation oper)
When inserting a node, it is important to find a mapped parent of it.
|
double |
TreeMover.unapply(EditOperation op,
org.processmining.processtree.ProcessTree tree) |