Function clingo_sys::clingo_control_clasp_facade
source · pub unsafe extern "C" fn clingo_control_clasp_facade(
control: *mut clingo_control_t,
clasp: *mut *mut c_void
) -> bool
Expand description
! Get low-level access to clasp.
!
! @attention
! This function is intended for experimental use only and not part of the stable API.
!
! This function may return a nullptr
.
! Otherwise, the returned pointer can be casted to a ClaspFacade pointer.
!
! @param[in] control the target
! @param[out] clasp pointer to the ClaspFacade object (may be nullptr
)
! @return whether the call was successful