Lines Matching refs:isConditionImplied

92     EXPECT_FALSE(CS.isConditionImplied({6, 1, 1}));  in TEST()
94     EXPECT_FALSE(CS.isConditionImplied({7, 1, 1}));  in TEST()
96     EXPECT_TRUE(CS.isConditionImplied({8, 1, 1}));  in TEST()
99     EXPECT_FALSE(CS.isConditionImplied({12, 2, 1}));  in TEST()
101     EXPECT_TRUE(CS.isConditionImplied({13, 2, 1}));  in TEST()
104     EXPECT_FALSE(CS.isConditionImplied({12, 2, 1}));  in TEST()
106     EXPECT_TRUE(CS.isConditionImplied({13, 2, 1}));  in TEST()
109     EXPECT_FALSE(CS.isConditionImplied({0, 1, -1}));  in TEST()
111     EXPECT_FALSE(CS.isConditionImplied({0, -1, 1}));  in TEST()
121     EXPECT_TRUE(CS.isConditionImplied({0, 1, -1}));  in TEST()
123     EXPECT_FALSE(CS.isConditionImplied({0, -1, 1}));  in TEST()
126     EXPECT_TRUE(CS.isConditionImplied({10, 1, -1}));  in TEST()
128     EXPECT_FALSE(CS.isConditionImplied({-10, 1, -1}));  in TEST()
140     EXPECT_FALSE(CS.isConditionImplied({0, 0, -1, 1}));  in TEST()
142     EXPECT_TRUE(CS.isConditionImplied({0, 1, 0, -1}));  in TEST()
151   EXPECT_FALSE(CS.isConditionImplied({Limit - 1, Limit - 2, Limit - 3}));  in TEST()