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

### - a -

- about() : CVC4::Configuration
- abs() : CVC4::Integer, CVC4::Rational
- absCmp() : CVC4::Rational
- AbstractValue() : CVC4::AbstractValue
- addArg() : CVC4::DatatypeConstructor
- addCommand() : CVC4::CommandSequence
- addConstructor() : CVC4::Datatype
- addFlag() : CVC3::CLFlags
- addOperator() : CVC4::parser::Parser
- addPairToArithOrder() : CVC3::ValidityChecker
- addToAssignment() : CVC4::SmtEngine
- allowIncludeFile() : CVC4::parser::Parser
- andExpr() : CVC3::Expr, CVC3::ValidityChecker, CVC4::Expr
- applyDag() : CVC4::expr::ExprDag
- applyDepth() : CVC4::expr::ExprSetDepth
- applyLanguage() : CVC4::expr::ExprSetLanguage
- applyPrintSuccess() : CVC4::CommandPrintSuccess
- applyPrintTypes() : CVC4::expr::ExprPrintTypes
- areIntegersUsed() : CVC4::LogicInfo
- areRealsUsed() : CVC4::LogicInfo
- arithNonLinear() : CVC4::LogicInfo
- arithOnlyDifference() : CVC4::LogicInfo
- arithOnlyLinear() : CVC4::LogicInfo
- arithRightShift() : CVC4::BitVector
- arity() : CVC3::Expr, CVC3::Type
- ArrayStoreAll() : CVC4::ArrayStoreAll
- ArrayType() : CVC4::ArrayType
- arrayType() : CVC3::ValidityChecker
- AscriptionType() : CVC4::AscriptionType
- asSatisfiabilityResult() : CVC4::Result
- AssertCommand() : CVC4::AssertCommand
- assertFormula() : CVC3::ValidityChecker, CVC4::SmtEngine
- assign() : CVC4::Options
- assignBool() : CVC4::Options
- asValidityResult() : CVC4::Result
- attributeNotSupported() : CVC4::parser::Parser