1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
|
void proceed0() {
int i, n, id;
for(id = 0;
id < PARTITIONS && glob_keep_searching;
id += 2) {
for(i = glob_depth_last_dd + 1; i <= glob_depth; i++) {
n = STATE_TREE_flush1(t, V, i);
glob_stored1 += n;
/* glob_state_count[id][i] += n; */
}
}
}
void proceed1() {
int i, n, id;
for(id = 1;
id < PARTITIONS && glob_keep_searching;
id += 2) {
for(i = glob_depth_last_dd + 1; i <= glob_depth; i++) {
n = STATE_TREE_flush1(t, V, i);
glob_stored1 += n;
/* glob_state_count[id][i] += n; */
}
}
} |
Partager