Here is a list of all variables with links to the structures/unions they belong to:

### - b -

- b : CVC3::CLFlag
- bitIndex : CVC4::BitVectorBitOf

### - d -

- d_arity : CVC4::DeclareTypeCommand
- d_attr : CVC4::SetUserAttributeCommand
- d_body : CVC4::PropagateRuleCommand, CVC4::RewriteRuleCommand
- d_callHistory : CVC4::theory::TestOutputChannel
- d_column : CVC4::parser::ParserException
- d_commandStatus : CVC4::Command
- d_deduction : CVC4::PropagateRuleCommand
- d_expr : CVC4::AssertCommand, CVC4::CheckSatCommand, CVC4::QueryCommand, CVC4::SetUserAttributeCommand
- d_filename : CVC4::parser::ParserException
- d_flag : CVC4::GetInfoCommand, CVC4::GetOptionCommand, CVC4::SetInfoCommand, CVC4::SetOptionCommand
- d_formals : CVC4::DefineFunctionCommand
- d_formula : CVC4::DefineFunctionCommand
- d_from : CVC4::ExprManagerMapCollection
- d_func : CVC4::DeclareFunctionCommand, CVC4::DefineFunctionCommand
- d_guards : CVC4::PropagateRuleCommand, CVC4::RewriteRuleCommand
- d_head : CVC4::RewriteRuleCommand
- d_heads : CVC4::PropagateRuleCommand
- d_line : CVC4::parser::ParserException
- d_logic : CVC4::SetBenchmarkLogicCommand
- d_msg : CVC4::Exception
- d_muted : CVC4::Command
- d_name : CVC4::EmptyCommand
- d_nodeManager : CVC4::Type
- d_output : CVC4::EchoCommand
- d_params : CVC4::DefineTypeCommand
- d_prefix : CVC4::StatisticsBase
- d_printInModel : CVC4::DeclareFunctionCommand
- d_printInModelSetByUser : CVC4::DeclareFunctionCommand
- d_result : CVC4::CheckSatCommand, CVC4::ExpandDefinitionsCommand, CVC4::GetAssertionsCommand, CVC4::GetAssignmentCommand, CVC4::GetInfoCommand, CVC4::GetModelCommand, CVC4::GetOptionCommand, CVC4::GetProofCommand, CVC4::GetValueCommand, CVC4::QueryCommand, CVC4::SimplifyCommand
- d_sexpr : CVC4::SetInfoCommand, CVC4::SetOptionCommand
- d_smtEngine : CVC4::GetInstantiationsCommand, CVC4::GetModelCommand
- d_stats : CVC4::StatisticsBase
- d_status : CVC4::SetBenchmarkStatusCommand
- d_symbol : CVC4::DeclarationDefinitionCommand
- d_term : CVC4::ExpandDefinitionsCommand, CVC4::SimplifyCommand
- d_terms : CVC4::GetValueCommand
- d_to : CVC4::ExprManagerMapCollection
- d_triggers : CVC4::PropagateRuleCommand, CVC4::RewriteRuleCommand
- d_type : CVC4::DeclareFunctionCommand, CVC4::DeclareTypeCommand, CVC4::DefineTypeCommand, CVC4::RegExp
- d_typeMap : CVC4::ExprManagerMapCollection
- d_typeNode : CVC4::Type
- d_vars : CVC4::PropagateRuleCommand, CVC4::RewriteRuleCommand

### - h -

- high : CVC4::BitVectorExtract

### - i -

- i : CVC3::CLFlag
- INTEGERS : CVC4::Cardinality

### - k -

- k : CVC4::Divisible

### - l -

- low : CVC4::BitVectorExtract
- lower : CVC4::SubrangeBounds

### - r -

- REALS : CVC4::Cardinality
- repeatAmount : CVC4::BitVectorRepeat
- rotateLeftAmount : CVC4::BitVectorRotateLeft
- rotateRightAmount : CVC4::BitVectorRotateRight

### - s -

- s : CVC3::CLFlag
- s_regDelim : CVC4::StatisticsBase
- signExtendAmount : CVC4::BitVectorSignExtend
- size : CVC4::BitVectorSize, CVC4::IntToBitVector
- sv : CVC3::CLFlag

### - u -

- UNKNOWN_CARD : CVC4::Cardinality
- upper : CVC4::SubrangeBounds

### - z -

- zeroExtendAmount : CVC4::BitVectorZeroExtend