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 symbol
  • b - second symbol

Returns whether a == b