Module splr::assign[−][src]

Crate assign implements Boolean Constraint Propagation and decision var selection.

Re-exports

pub use self::property::*;

AssignStack	A record of assignment. It’s called ‘trail’ in Glucose.
Var	Object representing a variable.
VarIdHeap	Heap of VarId, based on var activity.

Reasons of assignments, two kinds

AssignIF	API about assignment like `decision_level`, `stack`, `best_assigned`, and so on.
PropagateIF	API for Boolean Constraint Propagation like `propagate`, `assign_by_decision`, `cancel_until`, and so on.
VarManipulateIF	Var manipulation
VarSelectIF	API for var selection, depending on an internal heap.