Module splr::state

Crate state is a collection of internal data.

Structs

ProgressRecord	Record of old stats.
State	Data storage for Solver

Enums

LogF64Id	Index for f64 data, used in ProgressRecord
LogUsizeId	Index for Usize data, used in ProgressRecord
SearchStrategy	A collection of named search heuristics
Stat	stat index

Traits

StateIF

API for state/statistics management, providing progress.