public FOLModelElimination ( FOLModelEliminationTracer tracer ) : System | ||
tracer | FOLModelEliminationTracer | |
Résultat | System |
FOLModelElimination::FOLModelElimination ( ) : System | |
FOLModelElimination::FOLModelElimination ( FOLModelEliminationTracer tracer, long maxQueryTime ) : System | |
FOLModelElimination::FOLModelElimination ( long maxQueryTime ) : System |