Uses of Class
ca.uqac.lif.cep.fol.ForAllInterpretation
Packages that use ForAllInterpretation
Package
Description
Processors for creating a first-order interpretation from a trace
of predicates.
-
Uses of ForAllInterpretation in ca.uqac.lif.cep.fol
Methods in ca.uqac.lif.cep.fol that return ForAllInterpretation