Type Alias clingo_sys::clingo_symbolic_atoms_t

pub 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()

Aliased Type

struct clingo_symbolic_atoms_t { /* private fields */ }