Searched refs:sim2 (Results 1 – 1 of 1) sorted by relevance
514 Simplex sim2(s2); in TEST() local519 EXPECT_TRUE(sim2.isRationalSubsetOf(s2)); in TEST()536 EXPECT_TRUE(sim2.isRationalSubsetOf(univ)); in TEST()537 EXPECT_TRUE(sim2.isRationalSubsetOf(s1)); in TEST()538 EXPECT_TRUE(sim2.isRationalSubsetOf(s2)); in TEST()539 EXPECT_FALSE(sim2.isRationalSubsetOf(empty)); in TEST()