Skip to main content

mk_fp_sort

cvc5_sys

Function mk_fp_sort 

Source 
pub unsafe extern "C" fn mk_fp_sort(
    tm: *mut TermManager,
    exp: u32,
    sig: u32,
) -> Sort
Expand description

Create a floating-point sort. @param tm The term manager instance. @param exp The bit-width of the exponent of the floating-point sort. @param sig The bit-width of the significand of the floating-point sort.