Searched refs:resprop (Results 1 – 2 of 2) sorted by relevance
1506 … SCIP_Bool resprop /**< whether we are in resprop (TRUE) or prop (FALSE) */ in findLexMinFace() argument1515 assert( !resprop || minfixedrowlexmin != NULL ); in findLexMinFace()1572 if ( resprop ) in findLexMinFace()1605 … SCIP_Bool resprop /**< whether we are in resprop (TRUE) or prop (FALSE) */ in findLexMaxFace() argument1614 assert( !resprop || minfixedrowlexmax != NULL ); in findLexMaxFace()1668 if ( resprop ) in findLexMaxFace()
4717 - fixed bug in cons_orbitope:resprop() for the packing case