Uses of Class
ca.uqac.lif.cep.ltl.FirstOrderQuantifier

Packages that use FirstOrderQuantifier

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+.

Uses of FirstOrderQuantifier in ca.uqac.lif.cep.ltl

Subclasses of FirstOrderQuantifier in ca.uqac.lif.cep.ltl

Modifier and Type	Class	Description
class	BooleanFirstOrderQuantifier
class	Every	Troolean implementation of the universal first-order quantifier.
class	Exists	Boolean implementation of the existential first-order quantifier.
class	ForAll	Boolean implementation of the universal first-order quantifier.
class	Some	Troolean implementation of the existential first-order quantifier.