Uses of Class
ca.uqac.lif.cep.ltl.UnaryOperator
Packages that use UnaryOperator
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 UnaryOperator in ca.uqac.lif.cep.ltl
Subclasses of UnaryOperator in ca.uqac.lif.cep.ltlModifier and TypeClassDescriptionclassTroolean implementation of the LTL X operatorclassTroolean implementation of the LTL G operatorclassTroolean implementation of the LTL F processorMethods in ca.uqac.lif.cep.ltl that return UnaryOperatorMethods in ca.uqac.lif.cep.ltl with parameters of type UnaryOperatorModifier and TypeMethodDescriptionvoidUnaryOperator.cloneInto(UnaryOperator st, boolean with_state)