Functions and operators
=======================

.. doxygentypedef:: stp::api::if_integral
   :project: stp-cpp

.. doxygentypedef:: stp::api::if_floating
   :project: stp-cpp

.. doxygentypedef:: stp::api::OptionValue
   :project: stp-cpp

.. doxygentypedef:: stp::api::StatisticValue
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(Kind)
   :project: stp-cpp

.. doxygenfunction:: stp::api::smtlib_name(Kind)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(SortKind)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(RoundingMode)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(UnknownReason)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(ErrorCode)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(Verdict)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(Validity)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(Tier)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_string(Settable)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator<<(std::ostream &, Kind)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator<<(std::ostream &, RoundingMode)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator<<(std::ostream &, UnknownReason)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator<<(std::ostream &, Verdict)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator<<(std::ostream &, Validity)
   :project: stp-cpp

.. doxygenfunction:: stp::api::extract(std::uint32_t hi, std::uint32_t lo, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::zero_extend(std::uint32_t k, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::sign_extend(std::uint32_t k, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::repeat(std::uint32_t k, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::rotate_left(std::uint32_t k, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::rotate_right(std::uint32_t k, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::concat(const Term &, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::bit(const Term &bv, std::uint32_t i)
   :project: stp-cpp

.. doxygenfunction:: stp::api::bool_to_bv1(const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::bv1_to_bool(const Term &bv1)
   :project: stp-cpp

.. doxygenfunction:: stp::api::array_from_bytes(TermManager &tm, const std::vector< std::uint8_t > &bytes, std::uint32_t index_width=32)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_fp(const Sort &fp, const Term &rm, const Term &fp_or_real_or_sbv)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_fp(const Sort &fp, RoundingMode rm, const Term &fp_or_real_or_sbv)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_fp_unsigned(const Sort &fp, const Term &rm, const Term &bv)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_fp_unsigned(const Sort &fp, RoundingMode rm, const Term &bv)
   :project: stp-cpp

.. doxygenfunction:: stp::api::to_fp_from_bits(const Sort &fp, const Term &bv)
   :project: stp-cpp

.. doxygenfunction:: stp::api::fp_to_ubv(std::uint32_t m, const Term &rm, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::fp_to_sbv(std::uint32_t m, const Term &rm, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::fp_to_ubv(std::uint32_t m, RoundingMode rm, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::fp_to_sbv(std::uint32_t m, RoundingMode rm, const Term &)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator+(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator-(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator*(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator/(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator-(const Term &a)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator~(const Term &a)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator&(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator|(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator^(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator<<(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator!(const Term &a)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator&&(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::operator||(const Term &a, const Term &b)
   :project: stp-cpp

.. doxygenfunction:: stp::api::version()
   :project: stp-cpp

.. doxygenfunction:: stp::api::capabilities()
   :project: stp-cpp

.. doxygenfunction:: stp::api::has_sat_backend(std::string_view name)
   :project: stp-cpp

.. doxygenfunction:: stp::api::sat_backends()
   :project: stp-cpp

.. doxygenfunction:: stp::api::set_internal_error_policy(InternalErrorPolicy) noexcept
   :project: stp-cpp

.. doxygenfunction:: stp::api::internal_error_policy() noexcept
   :project: stp-cpp