Function clingo_sys::clingo_symbolic_atoms_end
[−]
[src]
pub unsafe extern "C" fn clingo_symbolic_atoms_end(
atoms: *mut clingo_symbolic_atoms_t,
iterator: *mut clingo_symbolic_atom_iterator_t
) -> bool
Iterator pointing to the end of the sequence of symbolic atoms.
Parameters:
atoms
the targetiterator
the resulting iterator
Returns whether the call was successful