Here is a list of all namespace functions with links to the namespace documentation for each function:

### - b -

- beforeSearch() : CVC4::smt

### - c -

- CheckArgument() : CVC4
- compare() : CVC3
- currentProofManager() : CVC4::smt

### - d -

- DebugCheckArgument() : CVC4

### - e -

- exportTypeInternal() : CVC4::expr
- Expr::getConst< ::CVC4::AbstractValue >() : CVC4
- Expr::getConst< ::CVC4::ArrayStoreAll >() : CVC4
- Expr::getConst< ::CVC4::AscriptionType >() : CVC4
- Expr::getConst< ::CVC4::BitVector >() : CVC4
- Expr::getConst< ::CVC4::BitVectorBitOf >() : CVC4
- Expr::getConst< ::CVC4::BitVectorExtract >() : CVC4
- Expr::getConst< ::CVC4::BitVectorRepeat >() : CVC4
- Expr::getConst< ::CVC4::BitVectorRotateLeft >() : CVC4
- Expr::getConst< ::CVC4::BitVectorRotateRight >() : CVC4
- Expr::getConst< ::CVC4::BitVectorSignExtend >() : CVC4
- Expr::getConst< ::CVC4::BitVectorSize >() : CVC4
- Expr::getConst< ::CVC4::BitVectorZeroExtend >() : CVC4
- Expr::getConst< ::CVC4::Chain >() : CVC4
- Expr::getConst< ::CVC4::Datatype >() : CVC4
- Expr::getConst< ::CVC4::Divisible >() : CVC4
- Expr::getConst< ::CVC4::EmptySet >() : CVC4
- Expr::getConst< ::CVC4::IntToBitVector >() : CVC4
- Expr::getConst< ::CVC4::Kind >() : CVC4
- Expr::getConst< ::CVC4::Predicate >() : CVC4
- Expr::getConst< ::CVC4::Rational >() : CVC4
- Expr::getConst< ::CVC4::Record >() : CVC4
- Expr::getConst< ::CVC4::RecordSelect >() : CVC4
- Expr::getConst< ::CVC4::RecordUpdate >() : CVC4
- Expr::getConst< ::CVC4::RegExp >() : CVC4
- Expr::getConst< ::CVC4::String >() : CVC4
- Expr::getConst< ::CVC4::SubrangeBounds >() : CVC4
- Expr::getConst< ::CVC4::TupleSelect >() : CVC4
- Expr::getConst< ::CVC4::TupleUpdate >() : CVC4
- Expr::getConst< ::CVC4::TypeConstant >() : CVC4
- Expr::getConst< ::CVC4::UninterpretedConstant >() : CVC4

### - g -

- getStatisticsRegistry() : CVC4::stats
- gmpz_hash() : CVC4

### - i -

- int2string() : CVC3
- isArrayLiteral() : CVC3
- isAssociative() : CVC4::kind

### - k -

- kindToString() : CVC4::kind
- kindToTheoryId() : CVC4::theory

### - o -

- operator!=() : CVC3, CVC4
- operator++() : CVC4::theory
- operator<<() : CVC3, CVC4::expr, CVC4::kind, CVC4::language::input, CVC4::language::output, CVC4, CVC4::parser, CVC4::theory
- operator==() : CVC3, CVC4

### - q -

- QueryResultToString() : CVC3

### - t -

- toInputLanguage() : CVC4::language
- toOutputLanguage() : CVC4::language
- typeConstantToTheoryId() : CVC4::theory