Uses of Package
ca.uqac.lif.cep.ltl

Packages that use ca.uqac.lif.cep.ltl

Package	Description
ca.uqac.lif.cep.ltl	Processors to express complex patterns over sequences of events with a first-order extension of Linear Temporal Logic called LTL-FO+.

Classes in ca.uqac.lif.cep.ltl used by ca.uqac.lif.cep.ltl

Class	Description
After	Troolean implementation of the LTL X operator
Always	Troolean implementation of the LTL G operator
Eventually	Boolean implementation of the LTL F processor
Every	Troolean implementation of the universal first-order quantifier.
Exists	Boolean implementation of the existential first-order quantifier.
FirstOrderQuantifier
FirstOrderSlice
ForAll	Boolean implementation of the universal first-order quantifier.
Globally	Boolean implementation of the LTL G processor
HardCast	Casts a Boolean value into a Troolean value, by converting (Boolean) true into (Troolean) inconclusive.
NewForAll
NewQuantifier
NewTrooleanForAll
Next	Boolean implementation of the LTL X processor
SoftCast	Casts a Boolean value into a Troolean value, by converting (Boolean) false into (Troolean) inconclusive.
Some	Troolean implementation of the existential first-order quantifier.
Sometime	Troolean implementation of the LTL F processor
Troolean	Implementation of a three-valued logic.
Troolean.Value	The three possible values of a Troolean
TrooleanCast	Casts an object into a Troolean value
TrooleanGroundTerm
UnaryOperator
Until	Boolean implementation of the LTL U processor
UpTo	Troolean version of the LTL U operator