[−][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. |
Enums
AssignReason | Reasons of assignments, two kinds |
Traits
AssignIF | API for assignment like |
ClauseManipulateIF | API for var manipulation |
PropagateIF | API for assignment like |
VarManipulateIF | Var manipulation |
VarRewardIF | API for var rewarding. |
VarSelectIF | API for var selection, depending on an internal heap. |