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

### - b -

- b : CVC3::CLFlag
- begin() : CVC4::CommandSequence, CVC4::Datatype, CVC4::DatatypeConstructor, CVC4::Expr, CVC4::Record, CVC4::StatisticsBase
- bind() : CVC4::SymbolTable
- bindDefinedFunction() : CVC4::SymbolTable
- bindType() : CVC4::SymbolTable
- bitIndex : CVC4::BitVectorBitOf
- BitVector() : CVC4::BitVector
- BitVectorBitOf() : CVC4::BitVectorBitOf
- BitVectorExtract() : CVC4::BitVectorExtract
- BitVectorRepeat() : CVC4::BitVectorRepeat
- BitVectorRotateLeft() : CVC4::BitVectorRotateLeft
- BitVectorRotateRight() : CVC4::BitVectorRotateRight
- BitVectorSignExtend() : CVC4::BitVectorSignExtend
- BitVectorSize() : CVC4::BitVectorSize
- BitVectorType() : CVC4::BitVectorType
- BitVectorZeroExtend() : CVC4::BitVectorZeroExtend
- bitvecType() : CVC3::ValidityChecker
- bitwiseAnd() : CVC4::Integer
- bitwiseNot() : CVC4::Integer
- bitwiseOr() : CVC4::Integer
- bitwiseXor() : CVC4::Integer
- BooleanType() : CVC4::BooleanType
- booleanType() : CVC4::ExprManager
- boolType() : CVC3::ValidityChecker
- boundVarExpr() : CVC3::ValidityChecker
- build() : CVC4::parser::ParserBuilder