AIMA.Core.Logic.FOL.CNFConverter.CNFConverter C# (CSharp) Метод

        public CNFConverter(FOLParser parser)
        {
            this.parser = parser;

            this.substVisitor = new SubstVisitor();
        }