Searched defs:IntegerRelationTest (Results 1 – 1 of 1) 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