@@ -69,6 +69,7 @@ struct TypeSCCs
6969// new brand type. This iterator provides an infinite sequence of possible brand
7070// types, prioritizing those with the most compact encoding.
7171struct BrandTypeIterator {
72+ // See `initFieldOptions` for the 18 options.
7273 static constexpr size_t optionCount = 18 ;
7374 static std::array<Field, optionCount> fieldOptions;
7475 static void initFieldOptions ();
@@ -145,8 +146,8 @@ struct RecGroupInfo;
145146
146147// As we iterate through the strongly connected components, we may find
147148// components that have the same shape. When we find such a collision, we merge
148- // the components into a single equivalence class where we track how we have
149- // disambiguated all such isomorphic components .
149+ // the groups for the components into a single equivalence class where we track
150+ // how we have disambiguated all such isomorphic groups .
150151struct GroupClassInfo {
151152 // If the group has just a single type, record it so we can make sure the
152153 // brand is not identical to it.
@@ -200,6 +201,8 @@ struct GroupClassInfo {
200201 new (&orders) TopologicalOrders (subtypeGraph);
201202 }
202203
204+ // Update permute the types in the given group to match the current
205+ // configuration in this GroupClassInfo.
203206 void permute (RecGroupInfo&);
204207};
205208
0 commit comments