Searched refs:simUniv (Results 1 – 1 of 1) sorted by relevance
511 Simplex simUniv(univ); in TEST() local516 EXPECT_TRUE(simUniv.isRationalSubsetOf(univ)); in TEST()526 EXPECT_TRUE(simUniv.isRationalSubsetOf(univ)); in TEST()527 EXPECT_FALSE(simUniv.isRationalSubsetOf(s1)); in TEST()528 EXPECT_FALSE(simUniv.isRationalSubsetOf(s2)); in TEST()529 EXPECT_FALSE(simUniv.isRationalSubsetOf(empty)); in TEST()