Function SCIPconsIsMarkedPropagate 

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

returns whether the constraint is marked for propagation