Function clingo_sys::clingo_backend_theory_term_sequence
source · pub unsafe extern "C" fn clingo_backend_theory_term_sequence(
backend: *mut clingo_backend_t,
type_: clingo_theory_sequence_type_t,
arguments: *const clingo_id_t,
size: usize,
term_id: *mut clingo_id_t
) -> bool
Expand description
! Add a theory term representing a sequence of theory terms. ! ! @param[in] backend the target backend ! @param[in] type the type of the sequence ! @param[in] arguments the term ids of the terms in the sequence ! @param[in] size the number of elements of the sequence ! @param[out] term_id the resulting term id ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc