Esempio n. 1
0
 public FOLModelElimination(IFOLModelEliminationTracer tracer,
                            long maxQueryTime)
 {
     this.tracer       = tracer;
     this.MaxQueryTime = maxQueryTime;
 }
Esempio n. 2
0
 public FOLModelElimination(IFOLModelEliminationTracer tracer)
 {
     this.tracer = tracer;
 }