Function clingo_sys::clingo_symbol_create_infimum
[−]
[src]
pub unsafe extern "C" fn clingo_symbol_create_infimum(
symbol: *mut clingo_symbol_t
)
Construct a symbol representing #inf.
symbol
- the resulting symbol