| Class | Description |
|---|---|
| And |
A boolean expression consisting of the conjunction of two boolean expressions.
|
| Bool |
The boolean constants.
|
| BooleanExpression |
A boolean expression.
|
| Conditional |
A conditional expression consists of a condition, which is a boolean expression,
as well as a consequent (then part) and an alternative (else part), which are
both expressions.
|
| Expression |
An expression.
|
| Let |
A let expression allows for the local definition of a variable as an
expression (called here the declaration) and that variable can be used
in another expression (called here the body).
|
| Not |
A boolean expression that is the negation of a boolean expression.
|
| Real |
An expression consisting of a real number.
|
| Smaller |
A boolean expression expressing that one expression is smaller than another one.
|
| Sum |
An expression consisting of the sum of two expressions.
|
| Variable |
An expression consisting of a variable.
|