| ExistsInterpretation |
|
| FirstOrderQuantifier |
|
| ForAllInterpretation |
|
| GetDomain |
Function taking an interpretation as its input, and returning the
set of values associated with some domain as its output.
|
| Interpretation |
A context in which predicates can be evaluated.
|
| InterpretationBuilder |
|
| LazyBooleanFunction |
|
| LazyBooleanFunction.And |
|
| LazyBooleanFunction.DummyInterpretationFunction |
|
| LazyBooleanFunction.Implies |
|
| LazyBooleanFunction.Or |
|
| Predicate |
|
| Predicate.PredicateArgument |
|
| Predicate.Wildcard |
Special constant that can be used when evaluating a predicate to
indicate a "don't care" value
|
| PredicateGet |
Extracts the value at a specific position in the predicate tuple.
|
| PredicateGetNumber |
Extracts the value at a specific position in the predicate tuple,
and converts it into a number
|
| PredicateTuple |
An assertion defining the truth value of a predicate
for a concrete list of arguments.
|
| PredicateTupleConversion |
Unary function converting an object into a predicate tuple
|
| PredicateTupleReader |
Processor receiving objects as input and outputting
predicate tuples as its output
|
| QuantifierInterpretation |
|