示例#1
0
 public FOLModelElimination(FOLModelEliminationTracer tracer, long maxQueryTime)
 {
     this.tracer = tracer;
     setMaxQueryTime(maxQueryTime);
 }
示例#2
0
 public FOLModelElimination(FOLModelEliminationTracer tracer,
         long maxQueryTime)
 {
     this.tracer = tracer;
     setMaxQueryTime(maxQueryTime);
 }
示例#3
0
 public FOLModelElimination(FOLModelEliminationTracer tracer)
 {
     this.tracer = tracer;
 }
示例#4
0
 public FOLModelElimination(FOLModelEliminationTracer tracer)
 {
     this.tracer = tracer;
 }