Searched defs:numProblemVars (Results 1 – 3 of 3) sorted by relevance
529 uint32 numProblemVars() const { return shared_->numVars(); } in numProblemVars() function