Searched refs:intersectIntegerRelation (Results 1 – 3 of 3) sorted by relevance
206 void intersectIntegerRelation(const IntegerRelation &rel);435 intersectIntegerRelation(constraints); in LexSimplexBase()440 intersectIntegerRelation(constraints); in LexSimplexBase()701 intersectIntegerRelation(constraints); in Simplex()
316 simplex.intersectIntegerRelation(sI); in getSetDifference()
1302 void SimplexBase::intersectIntegerRelation(const IntegerRelation &rel) { in intersectIntegerRelation() function in SimplexBase