Ejemplos de CollectMaximalNormalizableFormulasVisitor en C# (CSharp)

Ejemplo n.º 1

Archivo: OnceFormulaTests.cs Proyecto: pascalpfeil/ssharp

        public void CollectMaximalNormalizableFormulasWithNestedTwice()
        {
            var vistor  = new CollectMaximalNormalizableFormulasVisitor();
            var formula = CreateNestedTwice();

            vistor.VisitNewTopLevelFormula(formula);
            Assert.Equal(1, vistor.CollectedStateFormulas.Count());
        }

Ejemplo n.º 2

Archivo: OnceFormulaTests.cs Proyecto: pascalpfeil/ssharp

        public void CollectMaximalNormalizableFormulasWithBinary()
        {
            var vistor  = new CollectMaximalNormalizableFormulasVisitor();
            var formula = CreateBinaryFormula();

            vistor.VisitNewTopLevelFormula(formula);
            Assert.Equal(vistor.CollectedStateFormulas.Count(), 1);
        }