Function clingo_sys::clingo_symbolic_atoms_iterator_is_equal_to
[−]
[src]
pub unsafe extern "C" fn clingo_symbolic_atoms_iterator_is_equal_to(
atoms: *mut clingo_symbolic_atoms_t,
a: clingo_symbolic_atom_iterator_t,
b: clingo_symbolic_atom_iterator_t,
equal: *mut bool
) -> bool
Check if two iterators point to the same element (or end of the sequence).
Parameters:
atoms
the targeta
the first iteratorb
the second iteratorequal
whether the two iterators are equal
Returns whether the call was successful