Searched defs:isResolved (Results 1 – 2 of 2) sorted by relevance
213 bool isResolved() const { return !CorrectionDecls.empty(); } in isResolved() function
1229 isResolved: doneList.fired, property