Searched refs:intersectDomain (Results 1 – 3 of 3) sorted by relevance
77 copyRel.intersectDomain(poly); in TEST()
535 void intersectDomain(const IntegerPolyhedron &poly);
2167 void IntegerRelation::intersectDomain(const IntegerPolyhedron &poly) { in intersectDomain() function in IntegerRelation