Function clingo_sys::clingo_symbol_create_supremum
source · pub unsafe extern "C" fn clingo_symbol_create_supremum(
symbol: *mut clingo_symbol_t
)
Expand description
! Construct a symbol representing #sup. ! ! @param[out] symbol the resulting symbol