Module splr::state

Module 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.