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 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="ctx"></param>
/// <returns></returns>
public override bool interpret(Context ctx)
{
return(left.interpret(ctx) || right.interpret(ctx));
}
/// <summary>
/// 解释操作.
/// </summary>
/// <param name="ctx"></param>
/// <returns></returns>
public override bool interpret(Context ctx)
{
return(!exp.interpret(ctx));
}
