public final class Simplification2 extends ASTCloner
Modifier and Type | Method and Description |
---|---|
static Expression |
perform(Expression exp)
Simplify the given expression.
|
static Formula |
perform(Formula formula)
Simplify the given formula.
|
void |
visit(AndFormula formula)
Simplify formula.
|
void |
visit(ExistsFormula formula)
Simplify formula.
|
void |
visit(ForallFormula formula)
Simplify formula.
|
void |
visit(OrFormula formula)
Simplify formula.
|
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, visit, visit, visit, visit, visit, visit
public static Expression perform(Expression exp)
exp
- the expression to be simplified..public static Formula perform(Formula formula)
formula
- the formula to be simplified..public void visit(ForallFormula formula)
visit
in interface ASTVisitor
visit
in class ASTCloner
formula
- the formula to be simplified.public void visit(ExistsFormula formula)
visit
in interface ASTVisitor
visit
in class ASTCloner
formula
- the formula to be simplified.public void visit(AndFormula formula)
visit
in interface ASTVisitor
visit
in class ASTCloner
formula
- the formula to be simplified.public void visit(OrFormula formula)
visit
in interface ASTVisitor
visit
in class ASTCloner
formula
- the formula to be simplified.