Uses of Class
ca.uqac.lif.cep.ltl.TrooleanGroundTerm
Packages that use TrooleanGroundTerm
Package
Description
Processors to express complex patterns over sequences of events
with a first-order extension of Linear Temporal Logic called
LTL-FO+.
-
Uses of TrooleanGroundTerm in ca.uqac.lif.cep.ltl
Methods in ca.uqac.lif.cep.ltl with parameters of type TrooleanGroundTermModifier and TypeMethodDescriptionvoidTrooleanGroundTerm.cloneInto(TrooleanGroundTerm tgt, boolean with_state)