[−][src]Module varisat::prop::assignment

Partial assignment and backtracking.

Structs

Assignment	Current partial assignment.
Trail	Decision and propagation history.

backtrack	Undo all assignments in decision levels deeper than the given level.
enqueue_assignment	Enqueues the assignment of true to a literal.
fast_option_eq	This compares two `Option<bool>` values as bytes. Workaround for bad code generation.
full_restart	Undo all decisions and assumptions.
restart	Undo all decisions.