Searched refs:NewSystem (Results 1 – 1 of 1) sorted by relevance
206 auto NewSystem = *this; in isConditionImplied() local207 NewSystem.addVariableRow(R); in isConditionImplied()208 return !NewSystem.mayHaveSolution(); in isConditionImplied()