Searched refs:GUBVARSTATUS_BELONGSTOSET_R (Results 1 – 1 of 1) sorted by relevance
263 GUBVARSTATUS_BELONGSTOSET_R = 1, /** variable in noncovervars R */ enumerator3038 gubset->gubconss[gubconsidx]->gubvarsstatus[varidx] = GUBVARSTATUS_BELONGSTOSET_R; in getLiftingSequenceGUB()3148 assert(gubset->gubconss[gubconsidx]->gubvarsstatus[j] == GUBVARSTATUS_BELONGSTOSET_R); in getLiftingSequenceGUB()3186 …assert(movevarstatus == GUBVARSTATUS_BELONGSTOSET_R || movevarstatus == GUBVARSTATUS_CAPACITYEXCEE… in getLiftingSequenceGUB()3308 assert(gubset->gubconss[gubconsidx]->gubvarsstatus[varidx] == GUBVARSTATUS_BELONGSTOSET_R); in getLiftingSequenceGUB()4205 || gubset->gubconss[liftgubconsidx]->gubvarsstatus[k] == GUBVARSTATUS_BELONGSTOSET_R ) in sequentialUpAndDownLiftingGUB()4480 if(gubset->gubconss[liftgubconsidx]->gubvarsstatus[k] == GUBVARSTATUS_BELONGSTOSET_R ) in sequentialUpAndDownLiftingGUB()