public void TestPairs()
{
NumValue valueTwo = new NumValue(2);
Value pair = new PairValue <NumValue, NumValue>(valueTwo, valueTwo);
Assert.AreEqual("< 2 , 2 >", pair.ToString());
Expression test = new PairExpression <NumExpression, NumExpression>(two, two);
Assert.AreEqual("< 2 , 2 >", testAsync(test, 500).Result);
var trueTest = new PairExpression <LogicExpression, LogicExpression>(logicTrue, logicTrue);
Assert.AreEqual("< True , True >", testAsync(trueTest, 500).Result);
var loopTest = new PairExpression <LogicExpression, LogicExpression>(logicLoop, logicTrue);
Assert.AreEqual(False, testAsync(loopTest, 500).Result);
var pairTest = new LogicProjL(trueTest);
Assert.AreEqual(True, testAsync(pairTest, 500).Result);
var pairLoop = new LogicProjR(loopTest);
Assert.AreEqual(True, testAsync(pairLoop, 500).Result);
var pairLoop2 = new LogicProjL(loopTest);
Assert.AreEqual(Loop, testAsync(pairLoop2, 500).Result);
}
public void TestString()
{
var step2 = x & m <= new NumConstant(5);
var rec2 = new RecLogicExpression(n, logicTrue, "m", "x", step2);
var testLog = new NumConstant(6) == new NumThe("n", n > new NumConstant(5) & rec2);
Assert.AreEqual("(6 == The n. ((n > 5) & Rec(n, True, m.x. (x & (m <= 5)))))", testLog.ToString());
var test5 = new Apply(new LambdaExpression("x", x | logicTrue), logicLoop);
Assert.AreEqual("(Lambda x. (x | True) @ Exists n. (n < n))", test5.ToString());
var loopTest = new PairExpression <LogicExpression, LogicExpression>(logicLoop, logicTrue);
var pairLoop = new LogicProjR(loopTest);
Assert.AreEqual("Snd <Exists n. (n < n), True>", pairLoop.ToString());
}
