Searched refs:d_clauseIdNext (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/include/ | ||
| H A D | cnf_manager.h | 81 int d_clauseIdNext; variable |
| /dports/math/cvc3/cvc3-2.4.1/src/sat/ | ||
| H A D | cnf_manager.cpp | 40 d_clauseIdNext(0), in CNF_Manager() |