public RemoveQuantifiers(FOLParser parser)
{
this.parser = parser;
substVisitor = new SubstVisitor();
}
public CNFConverter(FOLParser parser)
{
this.parser = parser;
this.substVisitor = new SubstVisitor();
}
public StandardizeApart(VariableCollector variableCollector, SubstVisitor substVisitor)
{
this.variableCollector = variableCollector;
this.substVisitor = substVisitor;
}
public StandardizeQuantiferVariables(SubstVisitor substVisitor)
{
this.substVisitor = substVisitor;
}
public StandardizeApart()
{
variableCollector = new VariableCollector();
substVisitor = new SubstVisitor();
}