Module splr::assign [−][src]
Crate assign
implements Boolean Constraint Propagation and decision var selection.
Re-exports
pub use self::property::*; |
Modules
property |
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 about assignment like |
PropagateIF | API for Boolean Constraint Propagation like |
VarManipulateIF | Var manipulation |
VarSelectIF | API for var selection, depending on an internal heap. |