Skip to main content

sort_is_fp

cvc5_sys

Function sort_is_fp 

Source 
pub unsafe extern "C" fn sort_is_fp(sort: Sort) -> bool
Expand description

Determine if given sort is a floatingpoint sort (SMT-LIB: (_ FloatingPoint eb sb)). @param sort The sort. @return True if given sort is a floating-point sort.