Update obvinf.hpp for v1/3

james-d-mitchell · Sep 20, 2024 · 7a74d26 · 7a74d26
1 parent 2d60b1d
commit 7a74d26
Show file tree

Hide file tree

Showing 4 changed files with 726 additions and 440 deletions.
diff --git a/docs/DoxygenLayout.xml b/docs/DoxygenLayout.xml
@@ -79,6 +79,14 @@
         title="Partitioned binary relations (PBRs)" />
       <tab type="user" visible="yes" url="@ref transf_group" title="Transformations" />
     </tab>
+    <tab type="usergroup" visible="yes" url="@ref misc_group" title="Miscellaneous">
+      <tab type="usergroup" visible="yes" url="@ref constants_group" title="Constants" />
+      <tab type="user" visible="yes" url="@ref obvinf_group" title="IsObviouslyInfinite" />
+      <tab type="user" visible="yes" url="@ref exception_group" title="LibsemigroupsException" />
+      <tab type="user" visible="yes" url="@ref libsemigroups::Reporter" title="Reporter" />
+      <tab type="user" visible="yes" url="@ref libsemigroups::Runner" title="Runner" />
+      <tab type="usergroup" visible="yes" url="@ref types_group" title="Types" />
+    </tab>
     <tab type="user" visible="yes" url="@ref orders_group" title="Orders" />
     <tab type="usergroup" visible="yes" url="@ref presentations_group" title="Presentations">
       <tab type="user" visible="yes" url="@ref libsemigroups::Presentation"
@@ -111,13 +119,6 @@
         title="Functions for words and strings" />
       <tab type="user" visible="yes" url="@ref libsemigroups::literals" title="Literals" />
     </tab>
-    <tab type="usergroup" visible="yes" url="@ref misc_group" title="Miscellaneous">
-      <tab type="usergroup" visible="yes" url="@ref constants_group" title="Constants" />
-      <tab type="user" visible="yes" url="@ref exception_group" title="LibsemigroupsException" />
-      <tab type="user" visible="yes" url="@ref libsemigroups::Reporter" title="Reporter" />
-      <tab type="user" visible="yes" url="@ref libsemigroups::Runner" title="Runner" />
-      <tab type="usergroup" visible="yes" url="@ref types_group" title="Types" />
-    </tab>
     <tab type="examples" visible="yes" title="" intro="" />
     <tab type="user" visible="yes" url="_HEADING_" title="Main Algorithms" />
     <tab type="usergroup" visible="yes" url="@ref action_group" title="Actions">