Searched refs:applyDomain (Results 1 – 3 of 3) sorted by relevance
121 map1.applyDomain(map2); in TEST()
567 void applyDomain(const IntegerRelation &rel);
2229 void IntegerRelation::applyDomain(const IntegerRelation &rel) { in applyDomain() function in IntegerRelation