Type Definition clingo_sys::clingo_symbolic_atom_iterator_t
[−]
[src]
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.