Searched refs:HIDX_USR (Results 1 – 1 of 1) sorted by relevance
307 HIDX_USR = 1, /**< sub-SCIP was user interrupted */ enumerator1054 return (int)HIDX_USR; in getHistIndex()1070 …usses[] = {HIDX_OPT, HIDX_INFEAS, HIDX_NODELIM, HIDX_STALLNODE, HIDX_SOLLIM, HIDX_USR, HIDX_OTHER}; in printNeighborhoodStatistics()