Ejemplo n.º 1
0
        public void ExecuteTest2()
        {
            var impl = new Implication(new Bool(true), new Bool(true));

            Assert.Equal(true, impl.Execute());
        }
Ejemplo n.º 2
0
        public void CalculateTest2()
        {
            var impl = new Implication(new Bool(true), new Bool(true));

            Assert.AreEqual(true, impl.Calculate());
        }
Ejemplo n.º 3
0
        public void ConvertLogicExpressionToColletionTest()
        {
            var exp = new Implication(new Or(new Variable("a"), new Variable("b")), new Not(new Variable("c")));
            var actual = new List<IExpression>(Helpers.ConvertExpressionToCollection(exp));

            Assert.Equal(3, actual.Count);
        }