Searched refs:getNumFACs (Results 1 – 2 of 2) sorted by relevance
21 unsigned PresburgerSet::getNumFACs() const { in getNumFACs() function in PresburgerSet168 if (i == s.getNumFACs()) { in subtractRecursively()309 os << getNumFACs() << " FlatAffineConstraints:\n"; in print()
36 unsigned getNumFACs() const;