comments on FullLattice

Author: tlively

src/analysis/lattice.h

@@ -70,7 +70,11 @@ concept FullLattice =
   Lattice<L> && requires(const L& lattice,
                          const typename L::Element& constElem,
                          typename L::Element& elem) {
+    // Get the top element of this lattice.
     { lattice.getTop() } noexcept -> std::same_as<typename L::Element>;
+    // Modify `elem` in-place to be the meet (aka greatest lower bound) of
+    // `elem` and `constEleme`, returning true iff `elem` was modified, i.e. if
+    // it was not already a lower bound of `constElem`.
     { lattice.meet(elem, constElem) } noexcept -> std::same_as<bool>;
   };