Function clingo_sys::clingo_symbolic_atoms_end

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 target
• iterator the resulting iterator

Returns whether the call was successful