public FOLModelElimination ( FOLModelEliminationTracer tracer ) : System | ||
tracer | FOLModelEliminationTracer | |
Результат | System |
FOLModelElimination::FOLModelElimination ( ) : System | |
FOLModelElimination::FOLModelElimination ( FOLModelEliminationTracer tracer, long maxQueryTime ) : System | |
FOLModelElimination::FOLModelElimination ( long maxQueryTime ) : System |