Searched defs:IsReadyToOverApproximateWeakClosure (Results 1 – 4 of 4) sorted by relevance
126 inline bool IsReadyToOverApproximateWeakClosure() const { in IsReadyToOverApproximateWeakClosure() function
125 inline bool IsReadyToOverApproximateWeakClosure() const { in IsReadyToOverApproximateWeakClosure() function
127 inline bool IsReadyToOverApproximateWeakClosure() const { in IsReadyToOverApproximateWeakClosure() function
147 inline bool IsReadyToOverApproximateWeakClosure() const { in IsReadyToOverApproximateWeakClosure() function