Function clingo_sys::clingo_symbol_is_less_than
[−]
[src]
pub unsafe extern "C" fn clingo_symbol_is_less_than(
a: clingo_symbol_t,
b: clingo_symbol_t
) -> bool
Check if a symbol is less than another symbol.
Symbols are first compared by type. If the types are equal, the values are compared (where strings are compared using strcmp). Functions are first compared by signature and then lexicographically by arguments.
Parameters:
a
first symbolb
second symbol
Returns whether a < b