public static void Simplify(Program program)
{
var ExprSimplify = new Simplifier();
ExprSimplify.Visit(program);
}
private Expression TrySimplifyExpression(Expression expression)
{
Simplifier sim = new Simplifier();
return sim.Visit(expression) as Expression;
}
private Expression TrySimplifyExpression(Expression expression)
{
Simplifier sim = new Simplifier();
return(sim.Visit(expression) as Expression);
}
public static void Simplify(Program program, IntegerRepresentation intRep)
{
var exprSimplify = new Simplifier(intRep);
exprSimplify.Visit(program);
}