Function SCIPconsIsPropagationEnabled 

pub unsafe extern "C" fn SCIPconsIsPropagationEnabled(
    cons: *mut SCIP_CONS,
) -> c_uint

returns TRUE iff constraint’s propagation is enabled in the current node