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.

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.