diff --git a/EqSat/include/Luau/EGraph.h b/EqSat/include/Luau/EGraph.h index b5225335..6d583142 100644 --- a/EqSat/include/Luau/EGraph.h +++ b/EqSat/include/Luau/EGraph.h @@ -14,7 +14,8 @@ namespace Luau::EqSat /// Each e-class is a set of e-nodes representing equivalent terms from a given language, /// and an e-node is a function symbol paired with a list of children e-classes. template -struct EClass { +struct EClass final +{ Id id; std::vector nodes; D data; @@ -28,7 +29,7 @@ struct EClass { /// /// See . template -struct EGraph +struct EGraph final { // TODO: static_assert L <: Language // TODO: static_assert N <: Analysis diff --git a/EqSat/include/Luau/UnionFind.h b/EqSat/include/Luau/UnionFind.h index 79128af9..dd886a44 100644 --- a/EqSat/include/Luau/UnionFind.h +++ b/EqSat/include/Luau/UnionFind.h @@ -9,7 +9,7 @@ namespace Luau::EqSat { /// See . -struct UnionFind +struct UnionFind final { Id makeSet(); Id find(Id id) const;