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

### - h -

- handleUserAttribute() : CVC4::theory::TestOutputChannel
- hasBound() : CVC4::SubrangeBound
- hasCardinalityConstraints() : CVC4::LogicInfo
- hasEverything() : CVC4::LogicInfo
- hasGitModifications() : CVC4::Configuration
- hash() : CVC3::Expr, CVC4::BitVector, CVC4::Integer, CVC4::Rational
- hasNewLemma() : CVC4::LemmaInputChannel
- hasNothing() : CVC4::LogicInfo
- hasOperator() : CVC4::Expr, CVC4::ExprManager
- hasSubversionModifications() : CVC4::Configuration
- high : CVC4::BitVectorExtract