C# (CSharp) AlgebraGeometry LineSymbol.UnReify 예제들

예제 #1

        public void test_unreify_1()
        {
            var variable  = new Var('a');
            var variable2 = new Var('b');
            var variable3 = new Var('c');
            var line      = new Line(variable, variable2, variable3);
            var ls        = new LineSymbol(line);
            //a = 2
            var goal = new EqGoal(variable, 2.0);

            ls.Reify(goal);
            Assert.False(line.Concrete);
            Assert.True(ls.CachedSymbols.Count == 1);
            Assert.True(ls.CachedGoals.Count == 1);

            ls.UnReify(goal);
            Assert.True(ls.CachedSymbols.Count == 0);
            Assert.True(ls.CachedGoals.Count == 0);
        }

예제 #2

파일: Test.Line.cs 프로젝트: buptkang/Relation.Logic

        public void test_unreify_1()
        {
            var variable = new Var('a');
            var variable2 = new Var('b');
            var variable3 = new Var('c');
            var line = new Line(variable, variable2, variable3);
            var ls = new LineSymbol(line);
            //a = 2
            var goal = new EqGoal(variable, 2.0);
            ls.Reify(goal);
            Assert.False(line.Concrete);
            Assert.True(ls.CachedSymbols.Count == 1);
            Assert.True(ls.CachedGoals.Count == 1);

            ls.UnReify(goal);
            Assert.True(ls.CachedSymbols.Count == 0);
            Assert.True(ls.CachedGoals.Count == 0);
        }