| Class | Description |
|---|---|
| AlwaysFalse |
A predicate that always evaluates to
false. |
| AlwaysTrue |
A predicate that always evaluates to
true. |
| And |
A predicate that evaluates to
true iff both left and right evaluate to
true. |
| Not |
A predicate that evaluates to
true iff child is evaluated to false. |
| Or |
A predicate that evaluates to
true iff at least one of left or right
evaluates to true. |
| Predicate |
The general representation of predicate expressions, which contains the upper-cased expression
name and all the children expressions.
|