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.