Uses of Class
ca.uqac.lif.cep.ltl.NewTrooleanForAll

Packages that use NewTrooleanForAll

Package	Description
ca.uqac.lif.cep.ltl	Processors to express complex patterns over sequences of events with a first-order extension of Linear Temporal Logic called LTL-FO+.

Uses of NewTrooleanForAll in ca.uqac.lif.cep.ltl

Methods in ca.uqac.lif.cep.ltl that return NewTrooleanForAll

Modifier and Type	Method	Description
NewTrooleanForAll	NewTrooleanForAll.duplicate(boolean with_state)