Searched refs:dfs_stack (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.C259 vec<ClauseId> dfs_stack; // stack for simulating "backwards" DFS local
268 dfs_stack.push(goal);
269 ClauseId id = dfs_stack.last();
270 while (dfs_stack.size()>0) {
271 id = dfs_stack.last();
288 dfs_stack.pop();
316 dfs_stack.pop();
323 dfs_stack.push(chain_id[i]);
329 dfs_stack.pop();

Completed in 96 milliseconds