Module splr::state[−][src]

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.

StagingTarget

Phase saving modes.

Stat

stat index.

Traits

StateIF

API for state/statistics management, providing progress.