Type Alias clingo_sys::clingo_propagator_propagate_callback_t

pub type clingo_propagator_propagate_callback_t = Option<unsafe extern "C" fn(arg1: *mut clingo_propagate_control_t, arg2: *const clingo_literal_t, arg3: usize, arg4: *mut c_void) -> bool>;

! Typedef for @ref ::clingo_propagator::propagate().

Aliased Type

enum clingo_propagator_propagate_callback_t {
    None,
    Some(unsafe extern "C" fn(_: *mut clingo_propagate_control, _: *const i32, _: usize, _: *mut c_void) -> bool),
}

Variants

None

No value.

Some(unsafe extern "C" fn(_: *mut clingo_propagate_control, _: *const i32, _: usize, _: *mut c_void) -> bool)

Some value of type T.