[−][src]Module varisat::assumptions
Incremental solving.
Structs
| Assumptions | Incremental solving. |
Enums
| EnqueueAssumption | Return type of |
Functions
| analyze_assumption_conflict | Analyze a conflicting set of assumptions. |
| enqueue_assumption | Enqueue another assumption if possible. |
| set_assumptions | Change the currently active assumptions. |