public FOLModelElimination(FOLModelEliminationTracer tracer, long maxQueryTime)
{
this.tracer = tracer;
setMaxQueryTime(maxQueryTime);
}
public FOLModelElimination(FOLModelEliminationTracer tracer,
long maxQueryTime)
{
this.tracer = tracer;
setMaxQueryTime(maxQueryTime);
}
public FOLModelElimination(FOLModelEliminationTracer tracer)
{
this.tracer = tracer;
}
public FOLModelElimination(FOLModelEliminationTracer tracer)
{
this.tracer = tracer;
}