Function clingo_sys::clingo_symbol_is_equal_to
[−]
[src]
pub unsafe extern "C" fn clingo_symbol_is_equal_to(
a: clingo_symbol_t,
b: clingo_symbol_t
) -> bool
Check if two symbols are equal.
Parameters:
a
first symbolb
second symbol
Returns whether a == b