Uses of Class
ca.uqac.lif.cep.fol.LazyBooleanFunction.Implies

Packages that use LazyBooleanFunction.Implies

Package	Description
ca.uqac.lif.cep.fol	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

Modifier and Type	Method	Description
LazyBooleanFunction.Implies	LazyBooleanFunction.Implies.duplicate(boolean with_state)