Skip to content

Commit 46bad27

Browse files
Regenerate libsemigroups.hpp
1 parent 92c5cfd commit 46bad27

2 files changed

Lines changed: 51 additions & 9 deletions

File tree

etc/generate-libsemigroups-hpp.py

Lines changed: 15 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -45,20 +45,26 @@
4545
#endif // LIBSEMIGROUPS_LIBSEMIGROUPS_HPP_
4646
"""
4747

48-
include_dir = "include/libsemigroups"
48+
include_dirs = ["include/libsemigroups", "include/libsemigroups/detail"]
4949

5050
output = head
51-
files = [file for file in os.listdir(include_dir) if file.endswith(".hpp")]
52-
files.sort()
53-
54-
for file in files:
55-
if file != "libsemigroups.hpp":
56-
output += f'#include "{file}"\n'
51+
for dir in include_dirs:
52+
files = [file for file in os.listdir(dir) if file.endswith(".hpp")]
53+
files.sort()
54+
for file in files:
55+
if file != "libsemigroups.hpp":
56+
if dir.endswith("detail"):
57+
output += f'#include "detail/{file}"\n'
58+
else:
59+
output += f'#include "{file}"\n'
60+
output += "\n"
5761

5862
output += foot
5963

60-
with open(os.path.join(include_dir, "libsemigroups.hpp"), "w", encoding="utf-8") as f:
61-
print(f"Writing {include_dir}/libsemigroups.hpp . . .")
64+
with open(
65+
os.path.join(include_dirs[0], "libsemigroups.hpp"), "w", encoding="utf-8"
66+
) as f:
67+
print(f"Writing {include_dirs[0]}/libsemigroups.hpp . . .")
6268
f.write(output)
6369

6470
sys.exit(0)

include/libsemigroups/libsemigroups.hpp

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -70,6 +70,7 @@
7070
#include "schreier-sims.hpp"
7171
#include "sims.hpp"
7272
#include "stephen.hpp"
73+
#include "to-cong.hpp"
7374
#include "to-froidure-pin.hpp"
7475
#include "to-knuth-bendix.hpp"
7576
#include "to-presentation.hpp"
@@ -83,4 +84,39 @@
8384
#include "word-graph.hpp"
8485
#include "word-range.hpp"
8586

87+
#include "detail/bruidhinn-traits.hpp"
88+
#include "detail/citow.hpp"
89+
#include "detail/cong-common-class.hpp"
90+
#include "detail/containers.hpp"
91+
#include "detail/eigen.hpp"
92+
#include "detail/felsch-graph.hpp"
93+
#include "detail/felsch-tree.hpp"
94+
#include "detail/fmt.hpp"
95+
#include "detail/formatters.hpp"
96+
#include "detail/function-ref.hpp"
97+
#include "detail/int-range.hpp"
98+
#include "detail/iterator.hpp"
99+
#include "detail/kambites-nf.hpp"
100+
#include "detail/kbe.hpp"
101+
#include "detail/ke.hpp"
102+
#include "detail/knuth-bendix-impl.hpp"
103+
#include "detail/knuth-bendix-nf.hpp"
104+
#include "detail/multi-string-view.hpp"
105+
#include "detail/node-managed-graph.hpp"
106+
#include "detail/node-manager.hpp"
107+
#include "detail/path-iterators.hpp"
108+
#include "detail/pool.hpp"
109+
#include "detail/race.hpp"
110+
#include "detail/report.hpp"
111+
#include "detail/rewriters.hpp"
112+
#include "detail/stl.hpp"
113+
#include "detail/string.hpp"
114+
#include "detail/tce.hpp"
115+
#include "detail/timer.hpp"
116+
#include "detail/todd-coxeter-impl.hpp"
117+
#include "detail/uf.hpp"
118+
#include "detail/word-graph-with-sources.hpp"
119+
#include "detail/word-iterators.hpp"
120+
121+
86122
#endif // LIBSEMIGROUPS_LIBSEMIGROUPS_HPP_

0 commit comments

Comments
 (0)