public class CheckResourceUtilisation
extends java.lang.Object
| Constructor and Description |
|---|
CheckResourceUtilisation() |
| Modifier and Type | Method and Description |
|---|---|
TernaryAtom |
atLeastAsGood(java.util.Map<org.processmining.processtree.Originator,org.processmining.processtree.Task.Manual> raT,
java.util.Map<org.processmining.processtree.Originator,org.processmining.processtree.Task.Manual> raTp,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp,
java.util.Set<org.processmining.framework.util.Pair<java.lang.String,java.lang.String>> mapA) |
TernaryAtom |
atLeastAsGood(java.util.Map<java.lang.String,java.lang.String> resRole,
java.util.Map<java.lang.String,java.lang.String> resRolep) |
TernaryAtom |
atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
public TernaryAtom atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, MonoMap map)
public TernaryAtom atLeastAsGood(java.util.Map<org.processmining.processtree.Originator,org.processmining.processtree.Task.Manual> raT, java.util.Map<org.processmining.processtree.Originator,org.processmining.processtree.Task.Manual> raTp, java.util.Set<Run> runsT, java.util.Set<Run> runsTp, java.util.Set<org.processmining.framework.util.Pair<java.lang.String,java.lang.String>> mapA)
public TernaryAtom atLeastAsGood(java.util.Map<java.lang.String,java.lang.String> resRole, java.util.Map<java.lang.String,java.lang.String> resRolep)