Searched defs:IntegerRelation (Results 1 – 2 of 2) sorted by relevance
36 class IntegerRelation; variable68 IntegerRelation, enumerator78 IntegerRelation(unsigned numReservedInequalities, in IntegerRelation() function89 explicit IntegerRelation(const PresburgerSpace &space) in IntegerRelation() function
24 class IntegerRelation; global() variable