public FOLKnowledgeBase(FOLDomain domain, InferenceProcedure inferenceProcedure, Unifier unifier) { this.parser = new FOLParser(new FOLDomain(domain)); this.inferenceProcedure = inferenceProcedure; this.unifier = unifier; // this.substVisitor = new SubstVisitor(); this.variableCollector = new VariableCollector(); this._standardizeApart = new StandardizeApart(variableCollector, substVisitor); this.cnfConverter = new CNFConverter(parser); }
public RemoveQuantifiers(FOLParser parser) { this.parser = parser; substVisitor = new SubstVisitor(); }
public CNFConverter(FOLParser parser) { this.parser = parser; this.substVisitor = new SubstVisitor(); }
public StandardizeQuantiferVariables(SubstVisitor substVisitor) { this.substVisitor = substVisitor; }
public RemoveQuantifiers(FOLParser parser) { this.parser = parser; substVisitor = new SubstVisitor(); }
public CNFConverter(FOLParser parser) { this.parser = parser; this.substVisitor = new SubstVisitor(); }
public StandardizeQuantiferVariables(SubstVisitor substVisitor) { this.substVisitor = substVisitor; }
public StandardizeApart(VariableCollector variableCollector, SubstVisitor substVisitor) { this.variableCollector = variableCollector; this.substVisitor = substVisitor; }
public StandardizeApart() { variableCollector = new VariableCollector(); substVisitor = new SubstVisitor(); }
public StandardizeApart(VariableCollector variableCollector, SubstVisitor substVisitor) { this.variableCollector = variableCollector; this.substVisitor = substVisitor; }
public StandardizeApart() { variableCollector = new VariableCollector(); substVisitor = new SubstVisitor(); }
public void setUp() { parser = new FOLParser(DomainFactory.crusadesDomain()); sv = new SubstVisitor(); }