[−][src]Function clingo_sys::clingo_control_clasp_facade
pub unsafe extern "C" fn clingo_control_clasp_facade(
control: *mut clingo_control_t,
clasp: *mut *mut c_void
) -> bool
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