Structs§
Functions§
- add_
zero_ 🔒invalid_ support_ vars - assign_
checked_ 🔒add_ base - assign_
checked_ 🔒sub_ minuend - bool_
expr_ 🔒binds_ single_ var - bool_
expr_ 🔒has_ two_ var_ relation - collect_
bool_ 🔒constants - collect_
bool_ 🔒fallback_ vars - collect_
bool_ 🔒hard_ arith_ vars - collect_
expr_ 🔒fallback_ vars - complete_
checked_ 🔒add_ guard - complete_
checked_ 🔒sub_ guard - complete_
default_ 🔒support_ comparison - complete_
default_ 🔒support_ constraint - complete_
fallback_ 🔒support_ model - complete_
support_ 🔒bool - complete_
support_ 🔒comparison - complete_
support_ 🔒constraint - constraints_
bind_ 🔒each_ search_ var - constraints_
have_ 🔒two_ var_ relation - constraints_
prefer_ 🔒hard_ arith_ fallback_ first - Returns whether local hard-arithmetic search should run before asking the solver.
- expr_
contains_ 🔒const - fallback_
candidates_ 🔒for_ var - fallback_
model_ 🔒satisfies_ all_ constraints - fallback_
partial_ 🔒model_ satisfies_ known_ constraints - fallback_
search_ 🔒vars - fallback_
single_ 🔒var_ model - fallback_
two_ 🔒var_ model - hard_
arith_ 🔒fallback_ model - hard_
arith_ 🔒fallback_ vars - is_
hard_ 🔒arith_ node - is_
single_ 🔒bit - push_
fallback_ 🔒candidate - support_
cmp_ 🔒op - support_
target_ 🔒for_ known_ left - support_
target_ 🔒for_ known_ right - zero_
mask_ 🔒equality