Modifier and Type | Method and Description |
---|---|
void |
Breaks.visit(QuantifiedExpression exp) |
void |
PrettyPrinter.visit(QuantifiedExpression exp) |
Modifier and Type | Method and Description |
---|---|
void |
RefSubstitution.visit(QuantifiedExpression exp)
Process expression
|
Modifier and Type | Method and Description |
---|---|
void |
UsedVariables.visit(QuantifiedExpression exp)
Process quantified expression
|
void |
FreeVariables.visit(QuantifiedExpression exp)
Process quantified expression
|
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(QuantifiedExpression tree) |
void |
ASTPrinter.visit(QuantifiedExpression exp) |
void |
ASTVisitorBase.visit(QuantifiedExpression tree) |
Modifier and Type | Class and Description |
---|---|
class |
ArrayTerm
An array term.
|
class |
ExistsFormula
An existentially quantified formula.
|
class |
ForallFormula
A universally quantified formula.
|
class |
LambdaFormula
A function expression with a formula body.
|
class |
LambdaTerm
A function expression.
|
class |
QuantifiedFormula
Base class of quantified formulas.
|
class |
QuantifiedTerm
Base class of quantified terms.
|