(store, domain, instance, disable=False)
| 54 | disabled.clear() |
| 55 | |
| 56 | def process_instance(store, domain, instance, disable=False): |
| 57 | if instance.enumerated: |
| 58 | return [], [] |
| 59 | start_time = time.time() |
| 60 | new_results, new_facts = instance.next_results(verbose=store.verbose) |
| 61 | store.sample_time += elapsed_time(start_time) |
| 62 | |
| 63 | evaluations = store.evaluations |
| 64 | if disable: |
| 65 | instance.disable(evaluations, domain) |
| 66 | for result in new_results: |
| 67 | #add_certified(evaluations, result) # TODO: only add if the fact is actually new? |
| 68 | complexity = INF if (not disable or result.external.is_special) else \ |
| 69 | result.compute_complexity(evaluations) |
| 70 | add_facts(evaluations, result.get_certified(), result=result, complexity=complexity) |
| 71 | if disable: |
| 72 | remove_blocked(evaluations, domain, instance, new_results) |
| 73 | add_facts(evaluations, new_facts, result=UNKNOWN_EVALUATION, complexity=0) # TODO: record the instance |
| 74 | return new_results, new_facts |
| 75 | |
| 76 | ################################################## |
| 77 |
no test coverage detected