public final class RefSubstitution extends ASTCloner
Modifier and Type | Method and Description |
---|---|
static AST |
perform(java.util.Map<java.lang.String,Term> map,
AST exp)
Perform substitution of identifiers by terms.
|
void |
visit(ArrayTerm exp)
Process expression
|
void |
visit(ExistsFormula exp)
Process expression
|
void |
visit(ForallFormula exp)
Process expression
|
void |
visit(LambdaFormula exp)
Process expression
|
void |
visit(LambdaTerm exp)
Process expression
|
void |
visit(LetExpression exp)
Process expression
|
void |
visit(LetFormula exp)
Process expression
|
void |
visit(LetTerm exp)
Process expression
|
void |
visit(QuantifiedExpression exp)
Process expression
|
void |
visit(Reference exp)
Process expression
|
clone, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
public static AST perform(java.util.Map<java.lang.String,Term> map, AST exp)
map
- the mapping of identifier names (strings) to terms.exp
- the expression where to perform the substitution.public void visit(QuantifiedExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
exp
- the expression to be substituted.public void visit(ExistsFormula exp)
visit
in interface ASTVisitor
visit
in class ASTCloner
exp
- the expression to be substituted.public void visit(ForallFormula exp)
visit
in interface ASTVisitor
visit
in class ASTCloner
exp
- the expression to be substituted.public void visit(ArrayTerm exp)
visit
in interface ASTVisitor
visit
in class ASTCloner
exp
- the expression to be substituted.public void visit(LambdaFormula exp)
visit
in interface ASTVisitor
visit
in class ASTCloner
exp
- the expression to be substituted.public void visit(LambdaTerm exp)
visit
in interface ASTVisitor
visit
in class ASTCloner
exp
- the expression to be substituted.public void visit(LetExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
exp
- the expression to be substituted.public void visit(LetFormula exp)
visit
in interface ASTVisitor
visit
in class ASTCloner
exp
- the expression to be substituted.public void visit(LetTerm exp)
visit
in interface ASTVisitor
visit
in class ASTCloner
exp
- the expression to be substituted.public void visit(Reference exp)
visit
in interface ASTVisitor
visit
in class ASTCloner
exp
- the expression to be substituted.