static void Main(string[] args)
{
var env = new System.Collections.Generic.Dictionary<string, int>();
env.Add("z",5);
env.Add("x",2);
Expr e1 = new Add(new CstI(17), new Var("z")).Simplify();
Expr e2 = new Mul(new Var("x"), new Var("z")).Simplify();
Expr e3 = new Sub(new Mul(new CstI(17), new CstI(5)), new Var("z")).Simplify();
Expr e4 = new Add(new CstI(17), new CstI(0)).Simplify();
System.Console.Out.WriteLine(e1.ToString() + " = " + e1.Eval(env));
System.Console.Out.WriteLine(e2.ToString() + " = " + e2.Eval(env));
System.Console.Out.WriteLine(e3.ToString() + " = " + e3.Eval(env));
System.Console.Out.WriteLine(e4.ToString() + " = " + e4.Eval(env));
System.Console.ReadLine();
}
static void Main(string[] args)
{
var env = new System.Collections.Generic.Dictionary <string, int>();
env.Add("z", 5);
env.Add("x", 2);
Expr e1 = new Add(new CstI(17), new Var("z")).Simplify();
Expr e2 = new Mul(new Var("x"), new Var("z")).Simplify();
Expr e3 = new Sub(new Mul(new CstI(17), new CstI(5)), new Var("z")).Simplify();
Expr e4 = new Add(new CstI(17), new CstI(0)).Simplify();
System.Console.Out.WriteLine(e1.ToString() + " = " + e1.Eval(env));
System.Console.Out.WriteLine(e2.ToString() + " = " + e2.Eval(env));
System.Console.Out.WriteLine(e3.ToString() + " = " + e3.Eval(env));
System.Console.Out.WriteLine(e4.ToString() + " = " + e4.Eval(env));
System.Console.ReadLine();
}
