Searched refs:commonCst (Results 1 – 1 of 1) sorted by relevance
1982 IntegerRelation commonCst(PresburgerSpace::getRelationSpace()); in unionBoundingBox() local1983 getCommonConstraints(*this, otherCst, commonCst); in unionBoundingBox()2076 append(commonCst); in unionBoundingBox()