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));
}
/// <summary>
/// 构造函数.
/// </summary>
/// <param name="left"></param>
/// <param name="right"></param>
public And(Expression left, Expression right)
{
this.left = left;
this.right = right;
}
/// <summary>
/// 构造函数.
/// </summary>
/// <param name="exp"></param>
public Not(Expression exp)
{
this.exp = exp;
}
