[−][src]Module rate_common::assignment
A propositional assignment
This has proven to be a useful abstraction. Unfortunately we need to expose most of its internals since we modify the assignment vector when applying a revision.
Structs
| Assignment | An assignment comprising a mapping plus a trail (vector of literals). |
Functions
| stable_under_unit_propagation | Given an assignment, return true whenever the clause will not trigger
unit propagation.
This is equivalent to |