Searched refs:oldGlbSize (Results 1 – 1 of 1) sorted by relevance
185 unsigned int oldGlbSize = x0.glbSize(); in propagate() local203 GECODE_ME_CHECK(x0.cardMin(home, oldGlbSize+1)); in propagate()495 unsigned int oldGlbSize = x0.glbSize(); in propagate() local515 GECODE_ME_CHECK(x0.cardMin(home, oldGlbSize+1)); in propagate()