Пример #1
0
 public StandardizeApart(VariableCollector variableCollector,
                         SubstVisitor substVisitor)
 {
     this.variableCollector = variableCollector;
     this.substVisitor      = substVisitor;
 }
Пример #2
0
 public StandardizeApart()
 {
     variableCollector = new VariableCollector();
     substVisitor      = new SubstVisitor();
 }
Пример #3
0
 public StandardizeQuantiferVariables(SubstVisitor substVisitor)
 {
     this.substVisitor = substVisitor;
 }
Пример #4
0
        public RemoveQuantifiers(FOLParser parser)
        {
            this.parser = parser;

            substVisitor = new SubstVisitor();
        }
Пример #5
0
        public CNFConverter(FOLParser parser)
        {
            this.parser = parser;

            this.substVisitor = new SubstVisitor();
        }