Searched defs:getNumDomainVars (Results 1 – 3 of 3) sorted by relevance
47 unsigned getNumDomainVars() const { return space.getNumDomainVars(); } in getNumDomainVars() function
93 unsigned getNumDomainVars() const { return numDomain; } in getNumDomainVars() function
149 unsigned getNumDomainVars() const { return space.getNumDomainVars(); } in getNumDomainVars() function