Searched defs:IntegerRelation (Results 1 – 2 of 2) sorted by relevance
27 class IntegerRelation; variable58 IntegerRelation, enumerator64 IntegerRelation(unsigned numReservedInequalities, in IntegerRelation() function75 explicit IntegerRelation(const PresburgerSpace &space) in IntegerRelation() function
26 class IntegerRelation; variable