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