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.