Z3 |

Here is a list of all struct and union fields with links to the structures/unions they belong to:

### - b -

- back() : ast_vector_tpl< T >
- backtrack_level : Solver
- BacktrackLevel : Solver
- bases : PropClosures
- basis() : ReSortRef, SeqSortRef
- begin() : ast_vector_tpl< T >, solver::cube_generator
- benchmarkToSMTString() : Context
- BigIntDenominator : RatNum
- BigInteger : BitVecNum, FiniteDomainNum, IntNum
- BigIntNumerator : RatNum
- Body : Lambda, Quantifier
- body() : expr, QuantifierRef
- bool_const() : context
- bool_sort() : context
- bool_val() : context
- bool_value() : expr
- BoolSort : Context
- BoolValue : Expr
- BoundVariableNames : Lambda, Quantifier
- BoundVariableSorts : Lambda, Quantifier
- bv2int : expr
- bv_const() : context
- bv_size() : sort
- bv_sort() : context
- bv_val() : context
- bvadd_no_overflow : expr
- bvadd_no_underflow : expr
- bvmul_no_overflow : expr
- bvmul_no_underflow : expr
- bvneg_no_overflow : expr
- bvredand : expr
- bvredor : expr
- bvsdiv_no_overflow : expr
- bvsub_no_overflow : expr
- bvsub_no_underflow : expr