Function clingo_sys::clingo_control_clasp_facade [−] [src]

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.

Parameters:

  • control - the target
  • clasp - pointer to the ClaspFacade object (may be nullptr)

Returns whether the call was successful