public FOLModelElimination ( FOLModelEliminationTracer tracer ) : System | ||
tracer | FOLModelEliminationTracer | |
return | System |
public FOLModelElimination(FOLModelEliminationTracer tracer)
{
this.tracer = tracer;
}
FOLModelElimination::FOLModelElimination ( ) : System | |
FOLModelElimination::FOLModelElimination ( FOLModelEliminationTracer tracer, long maxQueryTime ) : System | |
FOLModelElimination::FOLModelElimination ( long maxQueryTime ) : System |