Function yices2::sys::yices_type_to_string

source · 
pub unsafe extern "C" fn yices_type_to_string(
    tau: i32,
    width: u32,
    height: u32,
    offset: u32
) -> *mut i8
Expand description

Convert type tau or term t to a string using the pretty printer.

  • width, height, offset define the print area as above.

  • return NULL on error

  • return a ‘\0’ terminated string otherwise this string must be deleted by calling yices_free_string when it’s no longer used

  • possible error report for yices_type_to_string code = INVALID_TYPE type1 = tau

  • possible error report for yices_term_to_string code = INVALID_TERM term1 = t