A B C E H L N R S T V

A

And - Class in ast

A boolean expression consisting of the conjunction of two boolean expressions.

And(BooleanExpression, BooleanExpression) - Constructor for class ast.And

Initializes this conjunction with the given left and right subexpressions.

ast - package ast

B

Bool - Class in ast

The boolean constants.

Bool(boolean) - Constructor for class ast.Bool

Initializes this constant with the given value.

BooleanExpression - Class in ast

A boolean expression.

C

Conditional - Class in ast

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.

Conditional(BooleanExpression, Expression, Expression) - Constructor for class ast.Conditional

Initializes this conditional expression with the given condition, consequent, and alternative.

E

equals(Object) - Method in class ast.And

equals(Object) - Method in class ast.Bool

equals(Object) - Method in class ast.Conditional

equals(Object) - Method in class ast.Let

equals(Object) - Method in class ast.Not

equals(Object) - Method in class ast.Real

Tests if this real number expression is equal to the given object.

equals(Object) - Method in class ast.Smaller

equals(Object) - Method in class ast.Sum

equals(Object) - Method in class ast.Variable

Expression - Class in ast

An expression.

H

hashCode() - Method in class ast.And

hashCode() - Method in class ast.Bool

hashCode() - Method in class ast.Conditional

hashCode() - Method in class ast.Let

hashCode() - Method in class ast.Not

hashCode() - Method in class ast.Real

hashCode() - Method in class ast.Smaller

hashCode() - Method in class ast.Sum

hashCode() - Method in class ast.Variable

L

Let - Class in ast

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).

Let(Variable, Expression, Expression) - Constructor for class ast.Let

Initializes this let expression with the given variable, declaration, and body.

N

Not - Class in ast

A boolean expression that is the negation of a boolean expression.

Not(BooleanExpression) - Constructor for class ast.Not

Initializes this boolean expression with the given subexpression.

R

Real - Class in ast

An expression consisting of a real number.

Real(double) - Constructor for class ast.Real

Initializes this real number with the given value.

S

Smaller - Class in ast

A boolean expression expressing that one expression is smaller than another one.

Smaller(Expression, Expression) - Constructor for class ast.Smaller

Initializes this boolean expression with the given subexpressions.

Sum - Class in ast

An expression consisting of the sum of two expressions.

Sum(Expression, Expression) - Constructor for class ast.Sum

Initializes this sum with the given left and right subexpressions.

T

toString() - Method in class ast.And

toString() - Method in class ast.Bool

toString() - Method in class ast.Conditional

toString() - Method in class ast.Let

toString() - Method in class ast.Not

toString() - Method in class ast.Real

toString() - Method in class ast.Smaller

toString() - Method in class ast.Sum

toString() - Method in class ast.Variable

V

Variable - Class in ast

An expression consisting of a variable.

Variable(String) - Constructor for class ast.Variable

Initializes this variable with the given name.

A B C E H L N R S T V