Here is a list of all namespace enum values with links to the namespace documentation for each enum value:

### - b -

- BITVECTOR_ACKERMANIZE_UDIV : CVC4::kind
- BITVECTOR_ACKERMANIZE_UREM : CVC4::kind
- BITVECTOR_AND : CVC4::kind
- BITVECTOR_ASHR : CVC4::kind
- BITVECTOR_BITOF : CVC4::kind
- BITVECTOR_BITOF_OP : CVC4::kind
- BITVECTOR_COMP : CVC4::kind
- BITVECTOR_CONCAT : CVC4::kind
- BITVECTOR_EAGER_ATOM : CVC4::kind
- BITVECTOR_EXTRACT : CVC4::kind
- BITVECTOR_EXTRACT_OP : CVC4::kind
- BITVECTOR_LSHR : CVC4::kind
- BITVECTOR_MULT : CVC4::kind
- BITVECTOR_NAND : CVC4::kind
- BITVECTOR_NEG : CVC4::kind
- BITVECTOR_NOR : CVC4::kind
- BITVECTOR_NOT : CVC4::kind
- BITVECTOR_OR : CVC4::kind
- BITVECTOR_PLUS : CVC4::kind
- BITVECTOR_REPEAT : CVC4::kind
- BITVECTOR_REPEAT_OP : CVC4::kind
- BITVECTOR_ROTATE_LEFT : CVC4::kind
- BITVECTOR_ROTATE_LEFT_OP : CVC4::kind
- BITVECTOR_ROTATE_RIGHT : CVC4::kind
- BITVECTOR_ROTATE_RIGHT_OP : CVC4::kind
- BITVECTOR_SDIV : CVC4::kind
- BITVECTOR_SGE : CVC4::kind
- BITVECTOR_SGT : CVC4::kind
- BITVECTOR_SHL : CVC4::kind
- BITVECTOR_SIGN_EXTEND : CVC4::kind
- BITVECTOR_SIGN_EXTEND_OP : CVC4::kind
- BITVECTOR_SLE : CVC4::kind
- BITVECTOR_SLT : CVC4::kind
- BITVECTOR_SMOD : CVC4::kind
- BITVECTOR_SREM : CVC4::kind
- BITVECTOR_SUB : CVC4::kind
- BITVECTOR_TO_NAT : CVC4::kind
- BITVECTOR_TYPE : CVC4::kind
- BITVECTOR_UDIV : CVC4::kind
- BITVECTOR_UDIV_TOTAL : CVC4::kind
- BITVECTOR_UGE : CVC4::kind
- BITVECTOR_UGT : CVC4::kind
- BITVECTOR_ULE : CVC4::kind
- BITVECTOR_ULT : CVC4::kind
- BITVECTOR_UREM : CVC4::kind
- BITVECTOR_UREM_TOTAL : CVC4::kind
- BITVECTOR_XNOR : CVC4::kind
- BITVECTOR_XOR : CVC4::kind
- BITVECTOR_ZERO_EXTEND : CVC4::kind
- BITVECTOR_ZERO_EXTEND_OP : CVC4::kind
- BOOLEAN_TYPE : CVC4
- BOTH_PROP : CVC4
- BOUND_INFERENCE_PROP : CVC4
- BOUND_VAR_LIST : CVC4::kind
- BOUND_VAR_LIST_TYPE : CVC4
- BOUND_VARIABLE : CVC4::kind
- BUILTIN : CVC4::kind
- BUILTIN_OPERATOR_TYPE : CVC4