Type Definition clingo_sys::clingo_symbolic_atoms_t

type clingo_symbolic_atoms_t = clingo_symbolic_atoms;

! Object to inspect symbolic atoms in a program---the relevant Herbrand base ! gringo uses to instantiate programs. ! ! @see clingo_control_symbolic_atoms()