Exemple #1
0
static void newPos(Ints& pos, int nrows) {
    pos.resize(nrows + 1, -1);
    pos[nrows] = 0;
}