Lines Matching defs:limit
73 {switches = ["--time-limit"], arguments = ["N"],
426 fun resolutionLoop limit res =
430 if limit () then resolutionLoop limit res else NONE;
432 fun refute limit {axioms,conjecture} =
441 resolutionLoop limit res
444 fun refuteAll limit filename tptp probs acc =
467 if !TEST then refuteAll limit filename tptp probs acc
469 case refute limit problem of
479 refuteAll limit filename tptp probs acc
505 fun prove limit mapping filename =
517 refuteAll limit filename tptp problems []
521 fun proveAll limit mapping filenames =
523 (if !QUIET then prove limit mapping
524 else fn filename => prove limit mapping filename orelse true)
537 val limit = newLimit ()
541 val success = proveAll limit mapping work