Skip to main content

mk_predicate_sort

cvc5_sys

Function mk_predicate_sort 

Source 
pub unsafe extern "C" fn mk_predicate_sort(
    tm: *mut TermManager,
    size: usize,
    sorts: *const Sort,
) -> Sort
Expand description

Create a predicate sort. @note This is equivalent to calling mkFunctionSort() with the Boolean sort as the codomain. @param tm The term manager instance. @param size The number of sorts. @param sorts The list of sorts of the predicate. @return The predicate sort.