Searched refs:simEmpty (Results 1 – 1 of 1) sorted by relevance
512 Simplex simEmpty(empty); in TEST() local517 EXPECT_TRUE(simEmpty.isRationalSubsetOf(empty)); in TEST()521 EXPECT_TRUE(simEmpty.isRationalSubsetOf(univ)); in TEST()522 EXPECT_TRUE(simEmpty.isRationalSubsetOf(s1)); in TEST()523 EXPECT_TRUE(simEmpty.isRationalSubsetOf(s2)); in TEST()524 EXPECT_TRUE(simEmpty.isRationalSubsetOf(empty)); in TEST()