[−][src]Module splr::assign

Crate assign implements Boolean Constraint Propagation and decision var selection.

Structs

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.
ClauseManipulateIF	API for var manipulation
PropagateIF	API for Boolean Constraint Propagation like `propagate`, `assign_by_decision`, `cancel_until`, and so on.
VarManipulateIF	Var manipulation
VarRewardIF	API for var rewarding.
VarSelectIF	API for var selection, depending on an internal heap.