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 void setUp() { parser = new FOLParser(DomainFactory.crusadesDomain()); vc = new VariableCollector(); }
public StandardizeApart(VariableCollector variableCollector, SubstVisitor substVisitor) { this.variableCollector = variableCollector; this.substVisitor = substVisitor; }
public StandardizeApart() { variableCollector = new VariableCollector(); substVisitor = new SubstVisitor(); }