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

Packages that use HardCast

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 HardCast in ca.uqac.lif.cep.ltl

Fields in ca.uqac.lif.cep.ltl declared as HardCast

Modifier and Type	Field	Description
static final HardCast	HardCast.instance	A public instance of the function.

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

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