Function clingo_sys::clingo_theory_atoms_atom_elements
[−]
[src]
pub unsafe extern "C" fn clingo_theory_atoms_atom_elements(
atoms: *const clingo_theory_atoms_t,
atom: clingo_id_t,
elements: *mut *const clingo_id_t,
size: *mut usize
) -> bool
Get the theory elements associated with the theory atom.
Parameters:
atoms
- container where the atom is storedatom
- id of the atomelements
- the resulting array of elementssize
- the number of elements
Returns whether the call was successful