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

Packages that use Troolean
Package
Description
Processors to express complex patterns over sequences of events with a first-order extension of Linear Temporal Logic called LTL-FO+.