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