public FOLModelElimination(IFOLModelEliminationTracer tracer, long maxQueryTime) { this.tracer = tracer; this.MaxQueryTime = maxQueryTime; }
public FOLModelElimination(IFOLModelEliminationTracer tracer) { this.tracer = tracer; }