Term manager
============

.. doxygentypedef:: stp_error_callback
   :project: stp-c

.. doxygenfunction:: stp_tm_new
   :project: stp-c

.. doxygenfunction:: stp_tm_new_with
   :project: stp-c

.. doxygenfunction:: stp_tm_copy
   :project: stp-c

.. doxygenfunction:: stp_tm_release
   :project: stp-c

.. doxygenfunction:: stp_tm_id
   :project: stp-c

.. doxygenfunction:: stp_tm_simplify_enabled
   :project: stp-c

.. doxygenfunction:: stp_tm_default_rounding_mode
   :project: stp-c

.. doxygenfunction:: stp_tm_set_default_rounding_mode
   :project: stp-c

.. doxygenfunction:: stp_tm_uf_sort_width
   :project: stp-c

.. doxygenfunction:: stp_tm_scope_push
   :project: stp-c

.. doxygenfunction:: stp_tm_scope_pop
   :project: stp-c

.. doxygenfunction:: stp_tm_scope_depth
   :project: stp-c

.. doxygenfunction:: stp_tm_release_all
   :project: stp-c

.. doxygenfunction:: stp_tm_error
   :project: stp-c

.. doxygenfunction:: stp_tm_error_num_terms
   :project: stp-c

.. doxygenfunction:: stp_tm_error_term
   :project: stp-c

.. doxygenfunction:: stp_tm_error_num_sorts
   :project: stp-c

.. doxygenfunction:: stp_tm_error_sort
   :project: stp-c

.. doxygenfunction:: stp_tm_clear_error
   :project: stp-c

.. doxygenfunction:: stp_tm_set_error_callback
   :project: stp-c