Uses of Enum Class
ca.uqac.lif.cep.ltl.Troolean.Value
Packages that use Troolean.Value
Package
Description
Processors to express complex patterns over sequences of events
with a first-order extension of Linear Temporal Logic called
LTL-FO+.
-
Uses of Troolean.Value in ca.uqac.lif.cep.ltl
Fields in ca.uqac.lif.cep.ltl declared as Troolean.ValueModifier and TypeFieldDescriptionprotected Troolean.ValueUpTo.m_currentValueprotected Troolean.ValueUnaryOperator.m_lastValueprotected Troolean.ValueTrooleanGroundTerm.m_valueprotected Troolean.ValueAfter.m_valueToReturnFields in ca.uqac.lif.cep.ltl with type parameters of type Troolean.ValueModifier and TypeFieldDescriptionprotected ca.uqac.lif.cep.functions.CumulativeFunction<Troolean.Value> UpTo.m_leftprotected ca.uqac.lif.cep.functions.CumulativeFunction<Troolean.Value> UpTo.m_rightMethods in ca.uqac.lif.cep.ltl that return Troolean.ValueModifier and TypeMethodDescriptionstatic Troolean.ValueTroolean.and(Troolean.Value... values) Computes the logical conjunction of the valuesstatic Troolean.ValueTroolean.and(Collection<Troolean.Value> values) Computes the logical conjunction of the valuesabstract Troolean.ValueTrooleanGroundTerm.computeValue(Object o) static Troolean.ValueTroolean.implies(Troolean.Value[] values) static Troolean.ValueTroolean.implies(Troolean.Value x, Troolean.Value y) Computes the logical implication of two valuesstatic Troolean.ValueTroolean.implies(Collection<Troolean.Value> values) static Troolean.ValueTroolean.not(Troolean.Value x) Computes the logical negation of a valuestatic Troolean.ValueTroolean.or(Troolean.Value... values) Computes the logical disjunction of the valuesstatic Troolean.ValueTroolean.or(Collection<Troolean.Value> values) Computes the logical disjunction of the valuesstatic Troolean.ValueTroolean.trooleanValue(Object o) Converts an object into a Troolean.static Troolean.Value[]Troolean.trooleanValues(Object[] values) Converts an array of objects into an array of Trooleans.static Troolean.ValueReturns the enum constant of this class with the specified name.static Troolean.Value[]Troolean.Value.values()Returns an array containing the constants of this enum class, in the order they are declared.Methods in ca.uqac.lif.cep.ltl with parameters of type Troolean.ValueModifier and TypeMethodDescriptionstatic Troolean.ValueTroolean.and(Troolean.Value... values) Computes the logical conjunction of the valuesstatic Troolean.ValueTroolean.implies(Troolean.Value[] values) static Troolean.ValueTroolean.implies(Troolean.Value x, Troolean.Value y) Computes the logical implication of two valuesstatic Troolean.ValueTroolean.not(Troolean.Value x) Computes the logical negation of a valuestatic Troolean.ValueTroolean.or(Troolean.Value... values) Computes the logical disjunction of the valuesMethod parameters in ca.uqac.lif.cep.ltl with type arguments of type Troolean.ValueModifier and TypeMethodDescriptionstatic Troolean.ValueTroolean.and(Collection<Troolean.Value> values) Computes the logical conjunction of the valuesstatic Troolean.ValueTroolean.implies(Collection<Troolean.Value> values) static Troolean.ValueTroolean.or(Collection<Troolean.Value> values) Computes the logical disjunction of the values