public bool lookup(Variable var)
{
if (!map.ContainsKey(var))
{
throw new ArgumentException();
}
return map[var];
}
public static void ShowDemo()
{
Console.WriteLine("===== 布尔类型解释的 演示 (From Java与模式 54章) =====");
ctx = new Context();
Variable x = new Variable("x");
Variable y = new Variable("y");
Constant c = new Constant(true);
ctx.assign(x, false);
ctx.assign(y, true);
exp = new Or(new And(c, x), new And(y, new Not(x)));
Console.WriteLine("x = " + x.interpret(ctx));
Console.WriteLine("y = " + y.interpret(ctx));
Console.WriteLine(exp.ToString() + " = " + exp.interpret(ctx));
}
public void assign(Variable var, bool value)
{
map.Add(var, value);
}