예제 #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 CNFConverter(FOLParser parser)
 {
     this.parser       = parser;
     this.substVisitor = new SubstVisitor();
 }
예제 #4
0
        public RemoveQuantifiers(FOLParser parser)
        {
            this.parser = parser;

            substVisitor = new SubstVisitor();
        }
예제 #5
0
 public StandardizeQuantiferVariables(SubstVisitor substVisitor)
 {
     this.substVisitor = substVisitor;
 }