Searched refs:mayHaveSolution (Results 1 – 3 of 3) sorted by relevance
26 EXPECT_FALSE(CS.mayHaveSolution()); in TEST()38 EXPECT_TRUE(CS.mayHaveSolution()); in TEST()48 EXPECT_FALSE(CS.mayHaveSolution()); in TEST()58 EXPECT_TRUE(CS.mayHaveSolution()); in TEST()69 EXPECT_FALSE(CS.mayHaveSolution()); in TEST()79 EXPECT_TRUE(CS.mayHaveSolution()); in TEST()
137 bool ConstraintSystem::mayHaveSolution() { in mayHaveSolution() function in ConstraintSystem156 return !NewSystem.mayHaveSolution(); in isConditionImplied()
69 bool mayHaveSolution();