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.