Searched refs:firstuipdepth (Results 1 – 1 of 1) sorted by relevance
5132 int firstuipdepth; in conflictCreateReconvergenceConss() local5155 firstuipdepth = SCIPbdchginfoGetDepth(firstuip); in conflictCreateReconvergenceConss()5234 assert(bdchgdepth <= firstuipdepth); in conflictCreateReconvergenceConss()5256 || (bdchgdepth == firstuipdepth in conflictCreateReconvergenceConss()5285 if( bdchgdepth == firstuipdepth && conflict->conflictset->nbdchginfos == 1 ) in conflictCreateReconvergenceConss()