Module splr::types [−][src]
Crate types
provides various building blocks, including some common traits.
Re-exports
pub use crate::assign::AssignReason; |
pub use crate::cdb::Clause; |
pub use crate::cdb::ClauseId; |
pub use crate::config::Config; |
Structs
CNFDescription | Data storage about a problem. |
CNFReader | A wrapper structure to make a CNFDescription from a file. To make CNFDescription clonable, a BufReader should be separated from it. If you want to make a CNFDescription which isn’t connected to a file, just call CNFDescription::default() directly. |
Ema | Exponential Moving Average, with a calibrator if feature |
Ema2 | Exponential Moving Average pair, with a calibrator if feature |
EmaSU | Ema of Sequence of usize |
Flag | |
Lit | Literal encoded on |
Logger | |
OrderedProxy | |
Watch | ‘Watch literal’ structure |
Enums
CNFIndicator | CNF locator |
SolverError | Internal errors.
Note: returning |
Constants
NULL_LIT | a dummy literal. |
Traits
ActivityIF | API for reward based activity management. |
ClauseIF | API for Clause, providing literal accessors. |
ClauseIdIF | API for Clause Id. |
Delete | API for O(n) deletion from a list, providing |
EmaIF | API for Exponential Moving Average, EMA, like |
FlagIF | API for object properties. |
Instantiate | API for object instantiation based on |
LitIF | API for Literal like |
PropertyDereference | |
PropertyReference | API for accessing internal data in a module.
For example, |
Functions
i32s | convert literals to |
Type Definitions
DecisionLevel | Decision Level Representation. |
MaybeInconsistent | A Return type used by solver functions. |
VarId | ‘Variable’ identifier or ‘variable’ index, starting with one. Implementation note: NonZeroUsize can be used but requires a lot of changes. The current abstraction is incomplete. |