Uses of Package
ca.uqac.lif.cep.fol
Packages that use ca.uqac.lif.cep.fol
Package
Description
Processors for creating a first-order interpretation from a trace
of predicates.
-
Classes in ca.uqac.lif.cep.fol used by ca.uqac.lif.cep.folClassDescriptionFunction taking an interpretation as its input, and returning the set of values associated with some domain as its output.A context in which predicates can be evaluated.Special constant that can be used when evaluating a predicate to indicate a "don't care" valueExtracts the value at a specific position in the predicate tuple.Extracts the value at a specific position in the predicate tuple, and converts it into a numberAn assertion defining the truth value of a predicate for a concrete list of arguments.Unary function converting an object into a predicate tupleProcessor receiving objects as input and outputting predicate tuples as its output