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

### - m -

- makeType() : CVC4::Type
- MapPickler() : CVC4::expr::pickle::MapPickler
- max() : CVC4::Integer, CVC4::SubrangeBound
- maxArity() : CVC4::ExprManager
- min() : CVC4::Integer, CVC4::SubrangeBound
- minArity() : CVC4::ExprManager
- minusExpr() : CVC3::ValidityChecker
- mkAnonymousFunction() : CVC4::parser::Parser
- mkArrayType() : CVC4::ExprManager
- mkAssociative() : CVC4::ExprManager
- mkBitVectorType() : CVC4::ExprManager
- mkBoundVar() : CVC4::ExprManager, CVC4::parser::Parser
- mkBoundVars() : CVC4::parser::Parser
- mkConst() : CVC4::ExprManager
- mkConstructorType() : CVC4::ExprManager
- mkDatatypeType() : CVC4::ExprManager
- mkExpr() : CVC4::ExprManager
- mkFunction() : CVC4::parser::Parser
- mkFunctionType() : CVC4::ExprManager
- mkGroundTerm() : CVC4::Datatype, CVC4::DatatypeConstructor, CVC4::Type
- mkMutualDatatypeTypes() : CVC4::ExprManager, CVC4::parser::Parser
- mkOp() : CVC3::Expr
- mkPredicateType() : CVC4::ExprManager
- mkRecordType() : CVC4::ExprManager
- mkSelectorType() : CVC4::ExprManager
- mkSetType() : CVC4::ExprManager
- mkSExprType() : CVC4::ExprManager
- mkSort() : CVC4::ExprManager, CVC4::parser::Parser
- mkSortConstructor() : CVC4::ExprManager, CVC4::parser::Parser
- mkSubrangeType() : CVC4::ExprManager
- mkTesterType() : CVC4::ExprManager
- mkTupleType() : CVC4::ExprManager
- mkUnresolvedType() : CVC4::parser::Parser
- mkUnresolvedTypeConstructor() : CVC4::parser::Parser
- mkVar() : CVC4::ExprManager, CVC4::parser::Parser
- mkVars() : CVC4::parser::Parser
- ModalException() : CVC4::ModalException
- modByPow2() : CVC4::Integer
- modified() : CVC3::CLFlag
- multExpr() : CVC3::ValidityChecker
- multiplyByPow2() : CVC4::Integer