Searched defs:numDomain (Results 1 – 2 of 2) sorted by relevance
83 inline IntegerRelation parseRelationFromSet(StringRef set, unsigned numDomain) { in parseRelationFromSet()93 unsigned numDomain) { in parsePresburgerRelationFromPresburgerSet()
317 PresburgerSpace(unsigned numDomain, unsigned numRange, unsigned numSymbols, in PresburgerSpace() argument [all...]