Searched defs:MapLatticeTest (Results 1 – 1 of 1) sorted by relevance
57 TEST(MapLatticeTest, InsertWorks) { in TEST() argument70 TEST(MapLatticeTest, ComparisonWorks) { in TEST() argument81 TEST(MapLatticeTest, JoinChange) { in TEST() argument99 TEST(MapLatticeTest, JoinEqNoChange) { in TEST() argument109 TEST(MapLatticeTest, JoinLtNoChange) { in TEST() argument130 TEST(MapLatticeTest, JoinDifferentDomainsProducesUnion) { in TEST() argument141 TEST(MapLatticeTest, FindWorks) { in TEST() argument155 TEST(MapLatticeTest, ContainsWorks) { in TEST() argument