Searched refs:mayHaveSolution (Results 1 – 2 of 2) sorted by relevance
138 bool ConstraintSystem::mayHaveSolution() { in mayHaveSolution() function in ConstraintSystem157 return !NewSystem.mayHaveSolution(); in isConditionImplied()
65 bool mayHaveSolution();