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