Type Definition clingo_sys::clingo_symbolic_atoms_t
[−]
[src]
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()