Package ca.uqac.lif.cep.fol
package ca.uqac.lif.cep.fol
Processors for creating a first-order interpretation from a trace
of predicates.
- Author:
- Sylvain Hallé
-
ClassesClassDescriptionFunction that acts as a first-order existential quantifier.Function that acts as a first-order universal quantifier.Function 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.Dummy main fileSpecial constant that can be used when evaluating a predicate to indicate a "don't care" valueAn assertion on the value of a predicate, to be evaluated on an
Interpretation.Extracts 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