Function SCIPaddConsElemDisjunction 

pub unsafe extern "C" fn SCIPaddConsElemDisjunction(
    scip: *mut SCIP,
    cons: *mut SCIP_CONS,
    addcons: *mut SCIP_CONS,
) -> SCIP_RETCODE

adds constraint to the disjunction of constraints