Module bool 

Structs

SymBoolExpr 🔒

Enums

SymBoolExprKind 🔒

SymCmpOp 🔒

Constants

MAX_CONSTANT_ITE_EQ_NODES 🔒

Bounds both the number of distinct word nodes inspected by constant-ITE equality expansion and the unfolded size of the Boolean expression it could produce.

MAX_CONSTANT_ITE_EQ_UNFOLDED_NODES 🔒

Functions

visit_unique 🔒

Visits reachable word nodes in depth-first, left-to-right order until the visitor breaks.