Searched defs:getNumVars (Results 1 – 4 of 4) sorted by relevance
52 unsigned getNumVars() const { return space.getNumVars(); } in getNumVars() function
195 unsigned getNumVars() const { in getNumVars() function
122 unsigned getNumVars() const { return dividends.getNumColumns() - 1; } getNumVars() function
213 unsigned getNumVars() const { return space.getNumVars(); } in getNumVars() function