Module solution_iterator

Module solution_iterator 

Source
Expand description

Contains the structures corresponding to solution iterations.

Structs§

SolutionIterator
A struct which allows the retrieval of multiple solutions to a satisfaction problem.

Enums§

IteratedSolution
Enum which specifies the status of the call to SolutionIterator::next_solution.