.. _cpp-api:

C++ API Documentation
=====================

.. toctree::
  :maxdepth: 1

  quickstart
  class_hierarchy

.. container:: hide-toctree

  .. toctree::
    :maxdepth: 0

    datatype
    datatypeconstructor
    datatypeconstructordecl
    datatypedecl
    datatypeselector
    exceptions
    grammar
    kind
    op
    optioninfo
    result
    roundingmode
    solver
    sort
    statistics
    term
    unknownexplanation