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