Searched refs:d_numVars (Results 1 – 2 of 2) sorted by relevance
148 unsigned d_numVars; variable150 void setNumVars(unsigned numVars) { d_numVars = numVars; } in setNumVars()152 CNF_Formula_Impl() : CNF_Formula(), d_numVars(0) {} in CNF_Formula_Impl()160 unsigned numVars() const { return d_numVars; } in numVars()173 CVC3::CDO<unsigned> d_numVars; variable175 void setNumVars(unsigned numVars) { d_numVars = numVars; } in setNumVars()178 : CNF_Formula(), d_formula(context), d_numVars(context, 0, 0) {} in CD_CNF_Formula()185 unsigned numVars() const { return d_numVars.get(); } in numVars()
179 d_numVars = 0; in reset()