Function clingo_sys::clingo_theory_atoms_element_condition
[−]
[src]
pub unsafe extern "C" fn clingo_theory_atoms_element_condition(
atoms: *mut clingo_theory_atoms_t,
element: clingo_id_t,
condition: *mut *const clingo_literal_t,
size: *mut usize
) -> bool
Get the condition (array of aspif literals) of the given theory element.
Parameters:
atoms
container where the element is storedelement
id of the elementcondition
the resulting array of aspif literalssize
the number of term literals
Returns whether the call was successful