Skip to main content

sort_is_rm

cvc5_sys

Function sort_is_rm 

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

Determine if given sort is the rounding mode sort (SMT-LIB: Cvc5RoundingMode). @param sort The sort. @return True if given sort is the rounding mode sort.