Regenerate libsemigroups.hpp

Author: james-d-mitchell

etc/generate-libsemigroups-hpp.py

@@ -45,20 +45,26 @@
 #endif  // LIBSEMIGROUPS_LIBSEMIGROUPS_HPP_
 """
 
-include_dir = "include/libsemigroups"
+include_dirs = ["include/libsemigroups", "include/libsemigroups/detail"]
 
 output = head
-files = [file for file in os.listdir(include_dir) if file.endswith(".hpp")]
-files.sort()
-
-for file in files:
-    if file != "libsemigroups.hpp":
-        output += f'#include "{file}"\n'
+for dir in include_dirs:
+    files = [file for file in os.listdir(dir) if file.endswith(".hpp")]
+    files.sort()
+    for file in files:
+        if file != "libsemigroups.hpp":
+            if dir.endswith("detail"):
+                output += f'#include "detail/{file}"\n'
+            else:
+                output += f'#include "{file}"\n'
+    output += "\n"
 
 output += foot
 
-with open(os.path.join(include_dir, "libsemigroups.hpp"), "w", encoding="utf-8") as f:
-    print(f"Writing {include_dir}/libsemigroups.hpp . . .")
+with open(
+    os.path.join(include_dirs[0], "libsemigroups.hpp"), "w", encoding="utf-8"
+) as f:
+    print(f"Writing {include_dirs[0]}/libsemigroups.hpp . . .")
     f.write(output)
 
 sys.exit(0)

include/libsemigroups/froidure-pin.tpp

@@ -1039,11 +1039,10 @@ namespace libsemigroups {
   // Check if an element is the identity, x should be in the position pos
   // of _elements.
   template <typename Element, typename Traits>
-  void FroidurePin<Element, Traits>::is_one(
-      internal_const_element_type x,
-      element_index_type
-          pos) noexcept(std::is_nothrow_default_constructible_v<InternalEqualTo>
-                        && noexcept(std::declval<InternalEqualTo>()(x, x))) {
+  void FroidurePin<Element, Traits>::
+      is_one(internal_const_element_type x, element_index_type pos) noexcept(
+          std::is_nothrow_default_constructible_v<InternalEqualTo>&& noexcept(
+              std::declval<InternalEqualTo>()(x, x))) {
     if (!_found_one && InternalEqualTo()(x, _id)) {
       _pos_one   = pos;
       _found_one = true;

include/libsemigroups/libsemigroups.hpp

@@ -70,6 +70,7 @@
 #include "schreier-sims.hpp"
 #include "sims.hpp"
 #include "stephen.hpp"
+#include "to-cong.hpp"
 #include "to-froidure-pin.hpp"
 #include "to-knuth-bendix.hpp"
 #include "to-presentation.hpp"
@@ -83,4 +84,38 @@
 #include "word-graph.hpp"
 #include "word-range.hpp"
 
+#include "detail/bruidhinn-traits.hpp"
+#include "detail/citow.hpp"
+#include "detail/cong-common-class.hpp"
+#include "detail/containers.hpp"
+#include "detail/eigen.hpp"
+#include "detail/felsch-graph.hpp"
+#include "detail/felsch-tree.hpp"
+#include "detail/fmt.hpp"
+#include "detail/formatters.hpp"
+#include "detail/function-ref.hpp"
+#include "detail/int-range.hpp"
+#include "detail/iterator.hpp"
+#include "detail/kambites-nf.hpp"
+#include "detail/kbe.hpp"
+#include "detail/ke.hpp"
+#include "detail/knuth-bendix-impl.hpp"
+#include "detail/knuth-bendix-nf.hpp"
+#include "detail/multi-string-view.hpp"
+#include "detail/node-managed-graph.hpp"
+#include "detail/node-manager.hpp"
+#include "detail/path-iterators.hpp"
+#include "detail/pool.hpp"
+#include "detail/race.hpp"
+#include "detail/report.hpp"
+#include "detail/rewriters.hpp"
+#include "detail/stl.hpp"
+#include "detail/string.hpp"
+#include "detail/tce.hpp"
+#include "detail/timer.hpp"
+#include "detail/todd-coxeter-impl.hpp"
+#include "detail/uf.hpp"
+#include "detail/word-graph-with-sources.hpp"
+#include "detail/word-iterators.hpp"
+
 #endif  // LIBSEMIGROUPS_LIBSEMIGROUPS_HPP_