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

Packages that use QuantifierInterpretation

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

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

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

Modifier and Type	Class	Description
class	ExistsInterpretation
class	ForAllInterpretation