Module splr::assign [−][src]
Expand description
Crate assign
implements Boolean Constraint Propagation and decision var selection.
Re-exports
pub use self::property::*;
Modules
Structs
A record of assignment. It’s called ‘trail’ in Glucose.
Object representing a variable.
Heap of VarId, based on var activity.
Enums
Reasons of assignments, two kinds
Traits
API about assignment like decision_level
, stack
, best_assigned
, and so on.
API for Boolean Constraint Propagation like propagate
, assign_by_decision
, cancel_until
, and so on.
Var manipulation
API for var selection, depending on an internal heap.