Function clingo_sys::clingo_symbolic_atoms_next

pub unsafe extern "C" fn clingo_symbolic_atoms_next(
    atoms: *mut clingo_symbolic_atoms_t, 
    iterator: clingo_symbolic_atom_iterator_t, 
    next: *mut clingo_symbolic_atom_iterator_t
) -> bool

Get an iterator to the next element in the sequence of symbolic atoms.

Parameters:

• atoms the target
• iterator the current iterator
• next the succeeding iterator

Returns whether the call was successful