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

Method clearPropaPts

svf/include/MemoryModel/MutablePointsToDS.h:323–326  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

321 }
322
323 virtual inline void clearPropaPts(Key &var) override
324 {
325 getPropaPts(var).clear();
326 }
327
328 virtual inline Map<DataSet, unsigned> getAllPts(bool liveOnly) const override
329 {

Callers

nothing calls this directly

Calls 1

clearMethod · 0.45

Tested by

no test coverage detected