29 typedef unsigned StratifiedIndex;  typedef
35   StratifiedIndex Index;
57   static const StratifiedIndex SetSentinel;
60   StratifiedIndex Above;
63   StratifiedIndex Below;
120   const StratifiedLink &getLink(StratifiedIndex Index) const {  in getLink()
129   bool inbounds(StratifiedIndex Idx) const { return Idx < Links.size(); }  in inbounds()
218     const StratifiedIndex Number;
220     BuilderLink(StratifiedIndex N) : Number(N) {  in BuilderLink()
234     void setBelow(StratifiedIndex I) {  in setBelow()
239     void setAbove(StratifiedIndex I) {  in setAbove()
254     StratifiedIndex getBelow() const {  in getBelow()
260     StratifiedIndex getAbove() const {  in getAbove()
285     void remapTo(StratifiedIndex Other) {  in remapTo()
290     StratifiedIndex getRemapIndex() const {  in getRemapIndex()
296     void updateRemap(StratifiedIndex Other) {  in updateRemap()
308     StratifiedIndex Remap;
315     DenseMap<StratifiedIndex, StratifiedIndex> Remaps;  in finalizeSets()
321       StratifiedIndex Number = StratLinks.size();  in finalizeSets()
354     const auto getHighestParentAbove = [&Links](StratifiedIndex Idx) {  in propagateAttrs()
363     SmallSet<StratifiedIndex, 16> Visited;  in propagateAttrs()
495   bool addAtMerging(const T &ToAdd, StratifiedIndex Index) {  in addAtMerging()
514   BuilderLink &linksAt(StratifiedIndex Index) {  in linksAt()
539   void merge(StratifiedIndex Idx1, StratifiedIndex Idx2) {  in merge()
560   void mergeDirect(StratifiedIndex Idx1, StratifiedIndex Idx2) {  in mergeDirect()
608   bool tryMergeUpwards(StratifiedIndex LowerIndex, StratifiedIndex UpperIndex) {  in tryMergeUpwards()
658   Optional<StratifiedIndex> indexOf(const T &Val) {  in indexOf()
667   StratifiedIndex addLinkBelow(StratifiedIndex Set) {  in addLinkBelow()
674   StratifiedIndex addLinkAbove(StratifiedIndex Set) {  in addLinkAbove()
681   StratifiedIndex getNewUnlinkedIndex() { return addLinks(); }  in getNewUnlinkedIndex()
683   StratifiedIndex addLinks() {  in addLinks()
689   bool inbounds(StratifiedIndex N) const { return N < Links.size(); }  in inbounds()