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

Method reset

svf/include/Util/SparseBitVector.h:762–783  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

760 }
761
762 void reset(unsigned Idx)
763 {
764 if (Elements.empty())
765 return;
766
767 unsigned ElementIndex = Idx / ElementSize;
768 ElementListIter ElementIter = FindLowerBound(ElementIndex);
769
770 // If we can't find an element that is supposed to contain this bit, there
771 // is nothing more to do.
772 if (ElementIter == Elements.end() ||
773 ElementIter->index() != ElementIndex)
774 return;
775 ElementIter->reset(Idx % ElementSize);
776
777 // When the element is zeroed out, delete it.
778 if (ElementIter->empty())
779 {
780 ++CurrElementIter;
781 Elements.erase(ElementIter);
782 }
783 }
784
785 void set(unsigned Idx)
786 {

Callers 1

removeKeyFunction · 0.45

Calls 3

indexMethod · 0.80
emptyMethod · 0.45
endMethod · 0.45

Tested by

no test coverage detected