Type Definition clingo_sys::clingo_symbolic_atom_iterator_t

type clingo_symbolic_atom_iterator_t = u64;

Object to iterate over symbolic atoms.

Such an iterator either points to a symbolic atom within a sequence of symbolic atoms or to the end of the sequence.

@note Iterators are valid as long as the underlying sequence is not modified. Operations that can change this sequence are ::clingo_control_ground(), ::clingo_control_cleanup(), and functions that modify the underlying non-ground program.