| Modifier and Type | Method and Description |
|---|---|
TernaryAtom |
Monotonicity.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
Monotonicity.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
MonotonicityAuxiliary.isValidMapping(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
| Modifier and Type | Method and Description |
|---|---|
MonoMap |
GenerateMapping.generateMapping(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp) |
| Modifier and Type | Method and Description |
|---|---|
TernaryAtom |
CheckResourceUtilisation.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
GeneralSojournTime.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
GeneralSojournTime1000.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
GeneralSojournTime10000.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
GeneralSojournTime100000.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
GeneralSojournTime10000Roles.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
GeneralSojournTime.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
TernaryAtom |
GeneralSojournTime1000.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
TernaryAtom |
GeneralSojournTime10000.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
TernaryAtom |
GeneralSojournTime100000.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
TernaryAtom |
GeneralSojournTime10000Roles.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
TernaryAtom |
AtLeastAsGoodRuns.atLeastAsGood(Run run,
Run runp,
MonoMap map,
java.util.Set<org.processmining.framework.util.Pair<java.lang.String,java.lang.String>> mapA) |
| Constructor and Description |
|---|
MatchingGraph(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
MatchingGraph(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
int cutoff) |
MatchingGraph(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
MatchingGraph(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp,
int cutoff) |
| Modifier and Type | Method and Description |
|---|---|
TernaryAtom |
SojournTime.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
SojournTime.atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
static TernaryAtom |
MonoAutomatic.atLeastAsGoodAutomatic(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
static TernaryAtom |
MonoBlock.atLeastAsGoodBlock(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
static TernaryAtom |
MonoManual.atLeastAsGoodManual(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
static TernaryAtom |
MonoModel.atLeastAsGoodModel(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
static TernaryAtom |
MonoResource.atLeastAsGoodResources(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
| Constructor and Description |
|---|
MonoMap(MonoMap map) |