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

Packages that use FirstOrderSlice

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

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

Modifier and Type	Field	Description
protected FirstOrderSlice	FirstOrderQuantifier.m_slicer

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

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

Constructors in ca.uqac.lif.cep.ltl with parameters of type FirstOrderSlice

Modifier	Constructor	Description
protected	Every(FirstOrderSlice fos)
protected	Exists(FirstOrderSlice fos)
protected	FirstOrderQuantifier(FirstOrderSlice fos)
protected	ForAll(FirstOrderSlice fos)
protected	Some(FirstOrderSlice fos)