Type Alias clingo_sys::clingo_propagator_undo_callback_t
source · pub type clingo_propagator_undo_callback_t = Option<unsafe extern "C" fn(arg1: *const clingo_propagate_control_t, arg2: *const clingo_literal_t, arg3: usize, arg4: *mut c_void)>;
Expand description
! Typedef for @ref ::clingo_propagator::undo().
Aliased Type§
enum clingo_propagator_undo_callback_t {
None,
Some(unsafe extern "C" fn(_: *const clingo_propagate_control, _: *const i32, _: usize, _: *mut c_void)),
}