Named constructors
==================

.. doxygenfunction:: stp_ite
   :project: stp-c

.. doxygenfunction:: stp_eq
   :project: stp-c

.. doxygenfunction:: stp_distinct
   :project: stp-c

.. doxygenfunction:: stp_distinct2
   :project: stp-c

.. doxygenfunction:: stp_apply
   :project: stp-c

.. doxygenfunction:: stp_apply_n
   :project: stp-c

.. doxygenfunction:: stp_not
   :project: stp-c

.. doxygenfunction:: stp_and
   :project: stp-c

.. doxygenfunction:: stp_and2
   :project: stp-c

.. doxygenfunction:: stp_or
   :project: stp-c

.. doxygenfunction:: stp_or2
   :project: stp-c

.. doxygenfunction:: stp_xor
   :project: stp-c

.. doxygenfunction:: stp_xor2
   :project: stp-c

.. doxygenfunction:: stp_implies
   :project: stp-c

.. doxygenfunction:: stp_bvnot
   :project: stp-c

.. doxygenfunction:: stp_bvand
   :project: stp-c

.. doxygenfunction:: stp_bvand_n
   :project: stp-c

.. doxygenfunction:: stp_bvor
   :project: stp-c

.. doxygenfunction:: stp_bvor_n
   :project: stp-c

.. doxygenfunction:: stp_bvxor
   :project: stp-c

.. doxygenfunction:: stp_bvxor_n
   :project: stp-c

.. doxygenfunction:: stp_bvnand
   :project: stp-c

.. doxygenfunction:: stp_bvnor
   :project: stp-c

.. doxygenfunction:: stp_bvxnor
   :project: stp-c

.. doxygenfunction:: stp_bvneg
   :project: stp-c

.. doxygenfunction:: stp_bvadd
   :project: stp-c

.. doxygenfunction:: stp_bvadd_n
   :project: stp-c

.. doxygenfunction:: stp_bvsub
   :project: stp-c

.. doxygenfunction:: stp_bvmul
   :project: stp-c

.. doxygenfunction:: stp_bvmul_n
   :project: stp-c

.. doxygenfunction:: stp_bvudiv
   :project: stp-c

.. doxygenfunction:: stp_bvurem
   :project: stp-c

.. doxygenfunction:: stp_bvsdiv
   :project: stp-c

.. doxygenfunction:: stp_bvsrem
   :project: stp-c

.. doxygenfunction:: stp_bvsmod
   :project: stp-c

.. doxygenfunction:: stp_bvshl
   :project: stp-c

.. doxygenfunction:: stp_bvlshr
   :project: stp-c

.. doxygenfunction:: stp_bvashr
   :project: stp-c

.. doxygenfunction:: stp_concat
   :project: stp-c

.. doxygenfunction:: stp_concat_n
   :project: stp-c

.. doxygenfunction:: stp_bvcomp
   :project: stp-c

.. doxygenfunction:: stp_bvult
   :project: stp-c

.. doxygenfunction:: stp_bvule
   :project: stp-c

.. doxygenfunction:: stp_bvugt
   :project: stp-c

.. doxygenfunction:: stp_bvuge
   :project: stp-c

.. doxygenfunction:: stp_bvslt
   :project: stp-c

.. doxygenfunction:: stp_bvsle
   :project: stp-c

.. doxygenfunction:: stp_bvsgt
   :project: stp-c

.. doxygenfunction:: stp_bvsge
   :project: stp-c

.. doxygenfunction:: stp_bvuaddo
   :project: stp-c

.. doxygenfunction:: stp_bvsaddo
   :project: stp-c

.. doxygenfunction:: stp_bvumulo
   :project: stp-c

.. doxygenfunction:: stp_bvsmulo
   :project: stp-c

.. doxygenfunction:: stp_bvusubo
   :project: stp-c

.. doxygenfunction:: stp_bvssubo
   :project: stp-c

.. doxygenfunction:: stp_bvnego
   :project: stp-c

.. doxygenfunction:: stp_bvsdivo
   :project: stp-c

.. doxygenfunction:: stp_bvredand
   :project: stp-c

.. doxygenfunction:: stp_bvredor
   :project: stp-c

.. doxygenfunction:: stp_select
   :project: stp-c

.. doxygenfunction:: stp_store
   :project: stp-c

.. doxygenfunction:: stp_fp_abs
   :project: stp-c

.. doxygenfunction:: stp_fp_neg
   :project: stp-c

.. doxygenfunction:: stp_fp_add
   :project: stp-c

.. doxygenfunction:: stp_fp_sub
   :project: stp-c

.. doxygenfunction:: stp_fp_mul
   :project: stp-c

.. doxygenfunction:: stp_fp_div
   :project: stp-c

.. doxygenfunction:: stp_fp_fma
   :project: stp-c

.. doxygenfunction:: stp_fp_sqrt
   :project: stp-c

.. doxygenfunction:: stp_fp_rem
   :project: stp-c

.. doxygenfunction:: stp_fp_rti
   :project: stp-c

.. doxygenfunction:: stp_fp_min
   :project: stp-c

.. doxygenfunction:: stp_fp_max
   :project: stp-c

.. doxygenfunction:: stp_fp_eq
   :project: stp-c

.. doxygenfunction:: stp_fp_lt
   :project: stp-c

.. doxygenfunction:: stp_fp_leq
   :project: stp-c

.. doxygenfunction:: stp_fp_gt
   :project: stp-c

.. doxygenfunction:: stp_fp_geq
   :project: stp-c

.. doxygenfunction:: stp_fp_is_normal
   :project: stp-c

.. doxygenfunction:: stp_fp_is_subnormal
   :project: stp-c

.. doxygenfunction:: stp_fp_is_zero
   :project: stp-c

.. doxygenfunction:: stp_fp_is_inf
   :project: stp-c

.. doxygenfunction:: stp_fp_is_nan
   :project: stp-c

.. doxygenfunction:: stp_fp_is_neg
   :project: stp-c

.. doxygenfunction:: stp_fp_is_pos
   :project: stp-c

.. doxygenfunction:: stp_fp_to_real
   :project: stp-c

.. doxygenfunction:: stp_fp_to_ieee_bv
   :project: stp-c

.. doxygenfunction:: stp_real_add
   :project: stp-c

.. doxygenfunction:: stp_real_add_n
   :project: stp-c

.. doxygenfunction:: stp_real_sub
   :project: stp-c

.. doxygenfunction:: stp_real_neg
   :project: stp-c

.. doxygenfunction:: stp_real_mul
   :project: stp-c

.. doxygenfunction:: stp_real_div
   :project: stp-c

.. doxygenfunction:: stp_real_lt
   :project: stp-c

.. doxygenfunction:: stp_real_le
   :project: stp-c

.. doxygenfunction:: stp_real_gt
   :project: stp-c

.. doxygenfunction:: stp_real_ge
   :project: stp-c

.. doxygenfunction:: stp_extract
   :project: stp-c

.. doxygenfunction:: stp_zero_extend
   :project: stp-c

.. doxygenfunction:: stp_sign_extend
   :project: stp-c

.. doxygenfunction:: stp_repeat
   :project: stp-c

.. doxygenfunction:: stp_rotate_left
   :project: stp-c

.. doxygenfunction:: stp_rotate_right
   :project: stp-c

.. doxygenfunction:: stp_bit
   :project: stp-c

.. doxygenfunction:: stp_bool_to_bv1
   :project: stp-c

.. doxygenfunction:: stp_bv1_to_bool
   :project: stp-c

.. doxygenfunction:: stp_to_fp
   :project: stp-c

.. doxygenfunction:: stp_to_fp_unsigned
   :project: stp-c

.. doxygenfunction:: stp_to_fp_from_bits
   :project: stp-c

.. doxygenfunction:: stp_fp_to_ubv
   :project: stp-c

.. doxygenfunction:: stp_fp_to_sbv
   :project: stp-c

.. doxygenfunction:: stp_fp_add_rm
   :project: stp-c

.. doxygenfunction:: stp_fp_sub_rm
   :project: stp-c

.. doxygenfunction:: stp_fp_mul_rm
   :project: stp-c

.. doxygenfunction:: stp_fp_div_rm
   :project: stp-c

.. doxygenfunction:: stp_fp_fma_rm
   :project: stp-c

.. doxygenfunction:: stp_fp_sqrt_rm
   :project: stp-c

.. doxygenfunction:: stp_fp_rti_rm
   :project: stp-c

.. doxygenfunction:: stp_to_fp_rm
   :project: stp-c

.. doxygenfunction:: stp_to_fp_unsigned_rm
   :project: stp-c

.. doxygenfunction:: stp_fp_to_ubv_rm
   :project: stp-c

.. doxygenfunction:: stp_fp_to_sbv_rm
   :project: stp-c