Terms
=====

.. doxygenfunction:: stp_term_copy
   :project: stp-c

.. doxygenfunction:: stp_term_release
   :project: stp-c

.. doxygenfunction:: stp_term_id
   :project: stp-c

.. doxygenfunction:: stp_term_hash
   :project: stp-c

.. doxygenfunction:: stp_term_manager
   :project: stp-c

.. doxygenfunction:: stp_term_get_kind
   :project: stp-c

.. doxygenfunction:: stp_term_sort
   :project: stp-c

.. doxygenfunction:: stp_term_num_children
   :project: stp-c

.. doxygenfunction:: stp_term_child
   :project: stp-c

.. doxygenfunction:: stp_term_num_indices
   :project: stp-c

.. doxygenfunction:: stp_term_index
   :project: stp-c

.. doxygenfunction:: stp_term_is_value
   :project: stp-c

.. doxygenfunction:: stp_term_is_defined_function
   :project: stp-c

.. doxygenfunction:: stp_term_is_const
   :project: stp-c

.. doxygenfunction:: stp_term_symbol
   :project: stp-c

.. doxygenfunction:: stp_term_str
   :project: stp-c

.. doxygenfunction:: stp_term_to_string
   :project: stp-c

.. doxygenfunction:: stp_term_substitute
   :project: stp-c

.. doxygenfunction:: stp_tm_simplify
   :project: stp-c

.. doxygenfunction:: stp_term_same
   :project: stp-c

.. doxygenfunction:: stp_term_to_bool
   :project: stp-c

.. doxygenfunction:: stp_term_fits_uint64
   :project: stp-c

.. doxygenfunction:: stp_term_fits_int64
   :project: stp-c

.. doxygenfunction:: stp_term_to_uint64
   :project: stp-c

.. doxygenfunction:: stp_term_to_int64
   :project: stp-c

.. doxygenfunction:: stp_term_to_bv_string
   :project: stp-c

.. doxygenfunction:: stp_term_bv_num_limbs
   :project: stp-c

.. doxygenfunction:: stp_term_to_bv_limbs
   :project: stp-c

.. doxygenfunction:: stp_term_to_bv_bytes
   :project: stp-c

.. doxygenfunction:: stp_term_to_fp
   :project: stp-c

.. doxygenfunction:: stp_term_fp_significand_limbs
   :project: stp-c

.. doxygenfunction:: stp_term_fp_bits
   :project: stp-c

.. doxygenfunction:: stp_term_fp_to_double
   :project: stp-c

.. doxygenfunction:: stp_term_fp_to_rational
   :project: stp-c

.. doxygenfunction:: stp_term_to_rm
   :project: stp-c

.. doxygenfunction:: stp_term_real_numerator
   :project: stp-c

.. doxygenfunction:: stp_term_real_denominator
   :project: stp-c

.. doxygenfunction:: stp_term_real_fits_int64
   :project: stp-c

.. doxygenfunction:: stp_term_real_to_int64
   :project: stp-c

.. doxygenfunction:: stp_term_real_to_double
   :project: stp-c

.. doxygenfunction:: stp_term_to_uninterpreted_index
   :project: stp-c