Function clingo_sys::clingo_theory_atoms_term_arguments
[−]
[src]
pub unsafe extern "C" fn clingo_theory_atoms_term_arguments(
atoms: *mut clingo_theory_atoms_t,
term: clingo_id_t,
arguments: *mut *const clingo_id_t,
size: *mut usize
) -> bool
Get the arguments of the given function theory term.
@pre The term must be of type ::clingo_theory_term_type_function.
Parameters:
atoms
container where the term is storedterm
id of the termarguments
the resulting arguments in form of an array of term idssize
the number of arguments
Returns whether the call was successful