Module splr::assign

Module 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.

Enums

• AssignReason
  Reasons of assignments

Traits

• 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.
• TrailSavingIF
  Methods on trail saving.
• VarManipulateIF
  Var manipulation
• VarSelectIF
  API for var selection, depending on an internal heap.