MCPcopy Create free account
hub / github.com/SVF-tools/SVF / clearRevPts

Method clearRevPts

svf/include/MemoryModel/MutablePointsToDS.h:211–217  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

209 }
210 }
211 inline void clearRevPts(const DataSet &pts, const Key &k)
212 {
213 if (this->rev)
214 {
215 for (const Data &d : pts) clearSingleRevPts(revPtsMap[d], k);
216 }
217 }
218 ///@}
219
220protected:

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected