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.