public class MonoManual
extends java.lang.Object
| Constructor and Description |
|---|
MonoManual() |
| Modifier and Type | Method and Description |
|---|---|
static TernaryAtom |
atLeastAsGoodManual(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
public static TernaryAtom atLeastAsGoodManual(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, MonoMap map)