Model
=====

.. doxygenfunction:: stp_model_copy
   :project: stp-c

.. doxygenfunction:: stp_model_release
   :project: stp-c

.. doxygenfunction:: stp_model_manager
   :project: stp-c

.. doxygenfunction:: stp_model_value
   :project: stp-c

.. doxygenfunction:: stp_model_try_value
   :project: stp-c

.. doxygenfunction:: stp_model_values
   :project: stp-c

.. doxygenfunction:: stp_model_bool
   :project: stp-c

.. doxygenfunction:: stp_model_uint64
   :project: stp-c

.. doxygenfunction:: stp_model_int64
   :project: stp-c

.. doxygenfunction:: stp_model_bv_string
   :project: stp-c

.. doxygenfunction:: stp_model_bv_num_limbs
   :project: stp-c

.. doxygenfunction:: stp_model_bv_limbs
   :project: stp-c

.. doxygenfunction:: stp_model_bv_bytes
   :project: stp-c

.. doxygenfunction:: stp_model_fp
   :project: stp-c

.. doxygenfunction:: stp_model_fp_significand_limbs
   :project: stp-c

.. doxygenfunction:: stp_model_fp_to_double
   :project: stp-c

.. doxygenfunction:: stp_model_rm
   :project: stp-c

.. doxygenfunction:: stp_model_real_numerator
   :project: stp-c

.. doxygenfunction:: stp_model_real_denominator
   :project: stp-c

.. doxygenfunction:: stp_model_uninterpreted_index
   :project: stp-c

.. doxygenfunction:: stp_model_array_value
   :project: stp-c

.. doxygenfunction:: stp_model_fun_value
   :project: stp-c

.. doxygenfunction:: stp_model_array_bytes
   :project: stp-c

.. doxygenfunction:: stp_model_num_symbols
   :project: stp-c

.. doxygenfunction:: stp_model_symbol
   :project: stp-c

.. doxygenfunction:: stp_model_in_core
   :project: stp-c

.. doxygenfunction:: stp_model_to_smt2
   :project: stp-c

.. doxygenfunction:: stp_array_value_release
   :project: stp-c

.. doxygenfunction:: stp_array_value_sort
   :project: stp-c

.. doxygenfunction:: stp_array_value_default
   :project: stp-c

.. doxygenfunction:: stp_array_value_size
   :project: stp-c

.. doxygenfunction:: stp_array_value_entry
   :project: stp-c

.. doxygenfunction:: stp_array_value_at
   :project: stp-c

.. doxygenfunction:: stp_array_value_as_term
   :project: stp-c

.. doxygenfunction:: stp_fun_value_release
   :project: stp-c

.. doxygenfunction:: stp_fun_value_sort
   :project: stp-c

.. doxygenfunction:: stp_fun_value_arity
   :project: stp-c

.. doxygenfunction:: stp_fun_value_is_tabular
   :project: stp-c

.. doxygenfunction:: stp_fun_value_else
   :project: stp-c

.. doxygenfunction:: stp_fun_value_size
   :project: stp-c

.. doxygenfunction:: stp_fun_value_entry
   :project: stp-c

.. doxygenfunction:: stp_fun_value_apply
   :project: stp-c

.. doxygenfunction:: stp_fun_value_as_ite
   :project: stp-c