Searched refs:GUBVARSTATUS_BELONGSTOSET_C1 (Results 1 – 1 of 1) sorted by relevance
266 GUBVARSTATUS_BELONGSTOSET_C1 = 4 /** variable in covervars C1 */ enumerator2995 gubset->gubconss[gubconsidx]->gubvarsstatus[varidx] = GUBVARSTATUS_BELONGSTOSET_C1; in getLiftingSequenceGUB()3099 assert(gubset->gubconss[gubconsidx]->gubvarsstatus[varidx] == GUBVARSTATUS_BELONGSTOSET_C1); in getLiftingSequenceGUB()3127 if( gubset->gubconss[gubconsidx]->gubvarsstatus[j] == GUBVARSTATUS_BELONGSTOSET_C1 ) in getLiftingSequenceGUB()3184 if( movevarstatus != GUBVARSTATUS_BELONGSTOSET_C1 ) in getLiftingSequenceGUB()3277 && gubset->gubconss[gubconsidx]->gubvarsstatus[j] != GUBVARSTATUS_BELONGSTOSET_C1); in getLiftingSequenceGUB()4029 assert(gubset->gubconss[liftgubconsidx]->gubvarsstatus[0] == GUBVARSTATUS_BELONGSTOSET_C1); in sequentialUpAndDownLiftingGUB()4065 assert(gubset->gubconss[liftgubconsidx]->gubvarsstatus[0] == GUBVARSTATUS_BELONGSTOSET_C1); in sequentialUpAndDownLiftingGUB()4102 assert(gubset->gubconss[liftgubconsidx]->gubvarsstatus[0] == GUBVARSTATUS_BELONGSTOSET_C1); in sequentialUpAndDownLiftingGUB()4155 assert(gubset->gubconss[liftgubconsidx]->gubvarsstatus[0] == GUBVARSTATUS_BELONGSTOSET_C1); in sequentialUpAndDownLiftingGUB()[all …]