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.
PhaseMode	Phase saving modes.
SearchStrategy	A collection of named search heuristics.
Stat	stat index.

Traits

StateIF

API for state/statistics management, providing progress.