Searched refs:oldgubcons (Results 1 – 1 of 1) sorted by relevance
1804 assert(oldgubcons >= 0 && oldgubcons < gubset->ngubconss); in GUBsetMoveVar()1806 assert(oldgubcons != newgubcons); in GUBsetMoveVar()1807 assert(gubset->gubconssidx[var] == oldgubcons); in GUBsetMoveVar()1808 assert(gubset->gubconss[oldgubcons]->ngubvars > 0); in GUBsetMoveVar()1821 replacevar = gubset->gubconss[oldgubcons]->gubvars[oldgubvaridx]; in GUBsetMoveVar()1834 if( gubset->gubconss[oldgubcons]->ngubvars == 0 ) in GUBsetMoveVar()1842 GUBconsFree(scip, &gubset->gubconss[oldgubcons]); in GUBsetMoveVar()1845 if( oldgubcons != gubset->ngubconss-1 ) in GUBsetMoveVar()1847 gubset->gubconss[oldgubcons] = gubset->gubconss[gubset->ngubconss-1]; in GUBsetMoveVar()1853 for( j = 0; j < gubset->gubconss[oldgubcons]->ngubvars; j++ ) in GUBsetMoveVar()[all …]