Searched refs:mayHaveSolution (Results 1 – 2 of 2) sorted by relevance
186 bool ConstraintSystem::mayHaveSolution() { in mayHaveSolution() function in ConstraintSystem208 return !NewSystem.mayHaveSolution(); in isConditionImplied()
112 bool mayHaveSolution(); in addVariableRowFill()