Module termination

Contains the conditions which are used to determine when the Solver should terminate even when the state of the satisfaction/optimization problem is unknown.

The main TerminationCondition is a condition which is polled by the Solver during the search process. It indicates when the Solver should stop, even if no definitive conclusions have been made.

The most common example would be TimeBudget, which terminates the Solver whenever the time budget is exceeded.

Structs

• Combinator
  A TerminationCondition which triggers when one of two given TerminationConditions triggers.
• Indefinite
  A TerminationCondition which never triggers. The solver can search forever.
• OsSignal
  A TerminationCondition which triggers due to a SIGINT signal.
• TimeBudget
  A TerminationCondition which triggers when the specified time budget has been exceeded.

Traits

• TerminationCondition
  The central trait that defines a termination condition. A termination condition determines when the solver should give up searching for solutions.