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