Searched defs:nSym (Results 1 – 5 of 5) sorted by relevance
104 unsigned nSym; variable
95 PresburgerSet PresburgerSet::getUniverse(unsigned nDim, unsigned nSym) { in getUniverse()101 PresburgerSet PresburgerSet::getEmptySet(unsigned nDim, unsigned nSym) { in getEmptySet()
150 unsigned int nSym = 0; in print() local
148 unsigned int nSym = 0; in print() local