Skip to content

Commit 73fba8e

Browse files
committed
formatted
1 parent 74d040a commit 73fba8e

17 files changed

Lines changed: 33 additions & 33 deletions

src/action.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,8 +29,8 @@
2929
#include <libsemigroups/action.hpp>
3030
#include <libsemigroups/bmat8.hpp>
3131
#include <libsemigroups/transf.hpp>
32-
#include <libsemigroups/word-graph.hpp>
3332
#include <libsemigroups/word-graph-helpers.hpp>
33+
#include <libsemigroups/word-graph.hpp>
3434

3535
#include <fmt/core.h> // for format, print
3636

src/cong.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -260,7 +260,7 @@ obviously infinite; ``False`` is returned if it is not.
260260
congruence has infinitely many classes.
261261
)pbdoc");
262262
} // bind_cong
263-
} // namespace
263+
} // namespace
264264

265265
void init_cong(py::module& m) {
266266
bind_cong<word_type>(m, "CongruenceWord");

src/froidure-pin.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -729,7 +729,7 @@ elements are sorted, or :any:`UNDEFINED` if *i* is greater than
729729

730730
// TODO(1) are there some functions missing here?
731731
} // bind_froidure_pin
732-
} // namespace
732+
} // namespace
733733

734734
void init_froidure_pin(py::module& m) {
735735
// TODO(0) uncomment bind_froidure_pin<HPCombiTransf<16>>(m, "Transf16");

src/gabow.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,8 +32,8 @@
3232
#include <libsemigroups/detail/int-range.hpp> // for IntegralRange<>::value_type
3333
#include <libsemigroups/forest.hpp> // for Forest
3434
#include <libsemigroups/gabow.hpp> // for Gabow
35-
#include <libsemigroups/word-graph.hpp> // for WordGraph, word_graph
36-
#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
35+
#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
36+
#include <libsemigroups/word-graph.hpp> // for WordGraph, word_graph
3737

3838
// pybind11....
3939
#include <pybind11/operators.h> // for self, self_t, operator!=, operator*

src/kambites.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -231,7 +231,7 @@ defined by a :any:`KambitesMultiStringView` object is obviously infinite;
231231
presented semigroup or monoid defined by *k* is infinite.
232232
)pbdoc");
233233
} // bind_kambites
234-
} // namespace
234+
} // namespace
235235

236236
void init_kambites(py::module& m) {
237237
// One call to bind is required per list of types

src/knuth-bendix-impl.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -25,11 +25,11 @@
2525
// libsemigroups....
2626

2727
#include <libsemigroups/knuth-bendix.hpp> // for KnuthBendixImpl, KnuthBendixImpl::option...
28-
#include <libsemigroups/obvinf.hpp> // for is_obviously_infinite
29-
#include <libsemigroups/runner.hpp> // for Runner
30-
#include <libsemigroups/types.hpp> // for word_type, letter_type
31-
#include <libsemigroups/word-graph.hpp> // for WordGraph
32-
#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
28+
#include <libsemigroups/obvinf.hpp> // for is_obviously_infinite
29+
#include <libsemigroups/runner.hpp> // for Runner
30+
#include <libsemigroups/types.hpp> // for word_type, letter_type
31+
#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
32+
#include <libsemigroups/word-graph.hpp> // for WordGraph
3333

3434
// pybind11....
3535
#include <pybind11/chrono.h>

src/knuth-bendix.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -398,7 +398,7 @@ redundant in this way, then ``None`` is returned.
398398
});
399399
thing.def("next", [](NormalFormRange& nfr) { nfr.next(); });
400400
} // bind_normal_form_range
401-
} // namespace
401+
} // namespace
402402

403403
void init_knuth_bendix(py::module& m) {
404404
using RewriteTrie = detail::RewriteTrie;

src/konieczny.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -641,7 +641,7 @@ not already known.
641641
int
642642
)pbdoc");
643643
} // bind_konieczny
644-
} // namespace
644+
} // namespace
645645

646646
void init_konieczny(py::module& m) {
647647
bind_konieczny<BMat8>(m, "BMat8");

src/paths.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -26,11 +26,11 @@
2626
#include <vector> // for vector
2727

2828
// libsemigroups....
29-
#include <libsemigroups/constants.hpp> // for operator!=, operator==
30-
#include <libsemigroups/order.hpp> // for order
31-
#include <libsemigroups/paths.hpp> // for Paths
32-
#include <libsemigroups/word-graph.hpp> // for WordGraph, word_graph
33-
#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
29+
#include <libsemigroups/constants.hpp> // for operator!=, operator==
30+
#include <libsemigroups/order.hpp> // for order
31+
#include <libsemigroups/paths.hpp> // for Paths
32+
#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
33+
#include <libsemigroups/word-graph.hpp> // for WordGraph, word_graph
3434
// pybind11....
3535
#include <pybind11/operators.h> // for self, self_t, operator!=, operator*
3636
#include <pybind11/pybind11.h> // for class_, make_iterator, init, enum_

src/present.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1346,7 +1346,7 @@ defined in the alphabet, and that the inverses act as semigroup inverses.
13461346
13471347
)pbdoc");
13481348
} // bind_inverse_present
1349-
} // namespace
1349+
} // namespace
13501350
void init_present(py::module& m) {
13511351
bind_present<word_type>(m, "PresentationWords");
13521352
bind_present<std::string>(m, "PresentationStrings");

0 commit comments

Comments
 (0)