See: Description
| Interface | Description |
|---|---|
| BooleanExpression |
An
Expression that evaluates to a Boolean. |
| BoolVariableExpr |
A
BooleanExpression representing a variable, a Boolean whose actual Boolean value is not currently known. |
| Class | Description |
|---|---|
| BasicNamedBoolVariableExpr |
A
BoolVariableExpr with a specific name. |
| BoolAndExpr |
A
BooleanExpression representing the Boolean AND of two BooleanExpression instances. |
| BoolConstantExpr |
A
BooleanExpression representing a constant Boolean value. |
| BoolEmptyExpr |
A
BooleanExpression representing an empty expression useful for instantiating a new Boolean expression. |
| BoolNotExpr |
A
BooleanExpression representing the Boolean NOT of a Boolean expression. |
| BoolOrExpr |
A
BooleanExpression representing the Boolean OR of two BooleanExpression instances. |
| ExponentEqualityExpr |
A
BooleanExpression representing the Boolean equality "=" of two ExponentExpr instances. |
| GroupEqualityExpr |
A
BooleanExpression representing the Boolean equality "=" of two GroupElementExpression instances. |
| LazyBoolEvaluationResult |
Placeholder for the evaluation result of a BooleanExpression while it's being evaluated in the background.
|