Searched refs:infdelta (Results 1 – 1 of 1) sorted by relevance
2693 if( infdelta != NULL ) in aggrRowGetMinActivity()2694 *infdelta = FALSE; in aggrRowGetMinActivity()6815 SCIP_Bool infdelta; in addLocalRows() local6958 SCIP_Bool infdelta; in getFarkasProof() local7071 infdelta = FALSE; in getFarkasProof()7134 SCIP_Bool infdelta; in getDualProof() local7295 infdelta = FALSE; in getDualProof()7417 SCIP_Bool infdelta; in separateAlternativeProofs() local7433 if( infdelta ) in separateAlternativeProofs()7738 SCIP_Bool infdelta; in conflictAnalyzeDualProof() local[all …]