Searched refs:IntegerRelationTest (Results 1 – 2 of 2) sorted by relevance
27 TEST(IntegerRelationTest, getDomainAndRangeSet) { in TEST() argument46 TEST(IntegerRelationTest, inverse) { in TEST() argument62 TEST(IntegerRelationTest, intersectDomainAndRange) { in TEST() argument96 TEST(IntegerRelationTest, applyDomainAndRange) { in TEST() argument127 TEST(IntegerRelationTest, symbolicLexmin) { in TEST() argument
3 IntegerRelationTest.cpp