Uses of Class
org.processmining.plugins.petra.monotonicity.expressions.TernaryAtom

Packages that use TernaryAtom

Package	Description
org.processmining.plugins.petra.monotonicity
org.processmining.plugins.petra.monotonicity.expressions
org.processmining.plugins.petra.monotonicity.kpi.generalmodels.sojourn
org.processmining.plugins.petra.monotonicity.kpi.sojourn

Uses of TernaryAtom in org.processmining.plugins.petra.monotonicity

Methods in org.processmining.plugins.petra.monotonicity that return TernaryAtom

Modifier and Type	Method and Description
TernaryAtom	Monotonicity.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp)
TernaryAtom	MonotonicityImpl.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp)
TernaryAtom	Monotonicity.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	MonotonicityImpl.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	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)
TernaryAtom	Monotonicity.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	MonotonicityImpl.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	Monotonicity.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, java.util.Set<Run> runsT, java.util.Set<Run> runsTp)

Uses of TernaryAtom in org.processmining.plugins.petra.monotonicity.expressions

Methods in org.processmining.plugins.petra.monotonicity.expressions that return TernaryAtom

Modifier and Type	Method and Description
static TernaryAtom	TernaryLogic.and(TernaryAtom t1, boolean b)
static TernaryAtom	TernaryLogic.and(TernaryAtom t1, TernaryAtom t2) Logic and of ternary atoms
static TernaryAtom	TernaryAtom.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static TernaryAtom[]	TernaryAtom.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.processmining.plugins.petra.monotonicity.expressions with parameters of type TernaryAtom

Modifier and Type	Method and Description
static TernaryAtom	TernaryLogic.and(TernaryAtom t1, boolean b)
static TernaryAtom	TernaryLogic.and(TernaryAtom t1, TernaryAtom t2) Logic and of ternary atoms

Uses of TernaryAtom in org.processmining.plugins.petra.monotonicity.kpi.generalmodels.sojourn

Methods in org.processmining.plugins.petra.monotonicity.kpi.generalmodels.sojourn that return TernaryAtom

Modifier and Type	Method and Description
TernaryAtom	CheckResourceUtilisation.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	CheckResourceUtilisation.atLeastAsGood(java.util.Map<java.lang.String,java.lang.String> resRole, java.util.Map<java.lang.String,java.lang.String> resRolep)
TernaryAtom	GeneralSojournTime.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp)
TernaryAtom	GeneralSojournTime1000.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp)
TernaryAtom	GeneralSojournTime10000.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp)
TernaryAtom	GeneralSojournTime100000.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp)
TernaryAtom	GeneralSojournTime10000Roles.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp)
TernaryAtom	GeneralSojournTime.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	GeneralSojournTime1000.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	GeneralSojournTime10000.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	GeneralSojournTime100000.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	GeneralSojournTime10000Roles.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	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	GeneralSojournTime10000Roles.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	GeneralSojournTime.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, java.util.Set<Run> runsT, java.util.Set<Run> runsTp)
TernaryAtom	GeneralSojournTime1000.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, java.util.Set<Run> runsT, java.util.Set<Run> runsTp)
TernaryAtom	GeneralSojournTime10000.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, java.util.Set<Run> runsT, java.util.Set<Run> runsTp)
TernaryAtom	GeneralSojournTime100000.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, java.util.Set<Run> runsT, java.util.Set<Run> runsTp)
TernaryAtom	GeneralSojournTime10000Roles.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, 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)

Uses of TernaryAtom in org.processmining.plugins.petra.monotonicity.kpi.sojourn

Methods in org.processmining.plugins.petra.monotonicity.kpi.sojourn that return TernaryAtom

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)
TernaryAtom	SojournTime.atLeastAsGood(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp, 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)