public FOLModelElimination ( FOLModelEliminationTracer tracer ) : System | ||
tracer | FOLModelEliminationTracer | |
return | System |
FOLModelElimination::FOLModelElimination ( ) : System | |
FOLModelElimination::FOLModelElimination ( FOLModelEliminationTracer tracer, long maxQueryTime ) : System | |
FOLModelElimination::FOLModelElimination ( long maxQueryTime ) : System |