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