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

Packages that use FirstOrderQuantifier

Package	Description
ca.uqac.lif.cep.fol	Processors for creating a first-order interpretation from a trace of predicates.

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

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

Modifier and Type	Class	Description
class	Exists	Function that acts as a first-order existential quantifier.
class	ForAll	Function that acts as a first-order universal quantifier.