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