Module splr::state[−][src]

Expand description

Crate state is a collection of internal data.

Modules

property

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.

Stat

stat index.

Traits

StateIF

API for state/statistics management, providing progress.