15   int Branches = 0;  member
22       Branches += Other.Branches;  in join()
28     return std::tie(LHS.Elements, LHS.Branches, LHS.Joins) ==  in operator ==()
29            std::tie(RHS.Elements, RHS.Branches, RHS.Joins);  in operator ==()
49     ++L.Branches;  in transferBranch()
80     OS << "recordState(Elements=" << L.Elements << ", Branches=" << L.Branches  in recordState()
118 recordState(Elements=0, Branches=0, Joins=0)  in TEST()
121 recordState(Elements=1, Branches=0, Joins=0)  in TEST()
124 recordState(Elements=2, Branches=0, Joins=0)  in TEST()
125 recordState(Elements=2, Branches=0, Joins=0)  in TEST()
129 recordState(Elements=2, Branches=1, Joins=0)  in TEST()
132 recordState(Elements=3, Branches=1, Joins=0)  in TEST()
136 recordState(Elements=2, Branches=1, Joins=0)  in TEST()
139 recordState(Elements=3, Branches=1, Joins=0)  in TEST()
142 recordState(Elements=6, Branches=2, Joins=1)  in TEST()
145 recordState(Elements=7, Branches=2, Joins=1)  in TEST()
148 recordState(Elements=8, Branches=2, Joins=1)  in TEST()
151 recordState(Elements=9, Branches=2, Joins=1)  in TEST()
154 recordState(Elements=9, Branches=2, Joins=1)  in TEST()