Function clingo_sys::clingo_backend_theory_element

pub unsafe extern "C" fn clingo_backend_theory_element(
    backend: *mut clingo_backend_t,
    tuple: *const clingo_id_t,
    tuple_size: usize,
    condition: *const clingo_literal_t,
    condition_size: usize,
    element_id: *mut clingo_id_t
) -> bool

! Add a theory atom element. ! ! @param[in] backend the target backend ! @param[in] tuple the array of term ids represeting the tuple ! @param[in] tuple_size the size of the tuple ! @param[in] condition an array of program literals represeting the condition ! @param[in] condition_size the size of the condition ! @param[out] element_id the resulting element id ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc