public class GeneralSojournTime10000Roles extends MonotonicityImpl
| Constructor and Description |
|---|
GeneralSojournTime10000Roles() |
| Modifier and Type | Method and Description |
|---|---|
TernaryAtom |
atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp) |
TernaryAtom |
atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
java.util.Map<java.util.UUID,java.util.Set<java.util.UUID>> partialMappingT,
java.util.Map<java.util.UUID,java.util.Set<java.util.UUID>> partialMappingTp) |
TernaryAtom |
atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
TernaryAtom |
atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
TernaryAtom |
atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
java.util.Set<org.processmining.framework.util.Pair<org.processmining.plugins.properties.processmodel.impl.ArrivalProcess,org.processmining.plugins.properties.processmodel.impl.ArrivalProcess>> atLeastAsGoodArrivals,
java.util.Set<org.processmining.framework.util.Pair<org.processmining.plugins.properties.processmodel.impl.TaskDistribution,org.processmining.plugins.properties.processmodel.impl.TaskDistribution>> atLeastAsGoodTaskDistributions,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
TernaryAtom |
atLeastAsGood(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
java.util.Set<Run> runsT,
java.util.Set<Run> runsTp) |
java.util.Set<java.lang.Class<? extends org.processmining.plugins.properties.processmodel.Property<?>>> |
getMonotoneProperties() |
java.lang.String |
getName() |
comparepublic java.lang.String getName()
public java.util.Set<java.lang.Class<? extends org.processmining.plugins.properties.processmodel.Property<?>>> getMonotoneProperties()
public TernaryAtom atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, MonoMap map) throws java.lang.Exception
java.lang.Exceptionpublic TernaryAtom atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp) throws java.lang.Exception
atLeastAsGood in interface MonotonicityatLeastAsGood in class MonotonicityImpljava.lang.Exceptionpublic TernaryAtom atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, java.util.Map<java.util.UUID,java.util.Set<java.util.UUID>> partialMappingT, java.util.Map<java.util.UUID,java.util.Set<java.util.UUID>> partialMappingTp) throws java.lang.Exception
atLeastAsGood in interface MonotonicityatLeastAsGood in class MonotonicityImpljava.lang.Exceptionpublic TernaryAtom atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, java.util.Set<Run> runsT, java.util.Set<Run> runsTp) throws java.lang.Exception
java.lang.Exceptionpublic TernaryAtom atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, MonoMap map, java.util.Set<Run> runsT, java.util.Set<Run> runsTp) throws java.lang.Exception
java.lang.Exceptionpublic TernaryAtom atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, java.util.Set<org.processmining.framework.util.Pair<org.processmining.plugins.properties.processmodel.impl.ArrivalProcess,org.processmining.plugins.properties.processmodel.impl.ArrivalProcess>> atLeastAsGoodArrivals, java.util.Set<org.processmining.framework.util.Pair<org.processmining.plugins.properties.processmodel.impl.TaskDistribution,org.processmining.plugins.properties.processmodel.impl.TaskDistribution>> atLeastAsGoodTaskDistributions, java.util.Set<Run> runsT, java.util.Set<Run> runsTp) throws java.lang.Exception
atLeastAsGood in interface MonotonicityatLeastAsGood in class MonotonicityImpljava.lang.Exception