@@ -51,11 +51,11 @@ namespace py = pybind11;
51
51
52
52
namespace libsemigroups {
53
53
using rule_type = FpSemigroupInterface::rule_type;
54
- void init_fpsemi (py::module & m) {
54
+ void init_fpsemi (py::module& m) {
55
55
py::class_<FpSemigroup>(m, " FpSemigroup" )
56
56
.def (py::init<>())
57
57
.def (py::init<std::shared_ptr<FroidurePinBase>>())
58
- .def (py::init<FpSemigroup const &>())
58
+ .def (py::init<FpSemigroup const &>())
59
59
.def (" validate_letter" ,
60
60
py::overload_cast<char >(&FpSemigroup::validate_letter, py::const_),
61
61
py::arg (" c" ),
@@ -78,8 +78,8 @@ namespace libsemigroups {
78
78
:Returns: (None)
79
79
)pbdoc" )
80
80
.def (" validate_word" ,
81
- py::overload_cast<word_type const &>(&FpSemigroup::validate_word,
82
- py::const_),
81
+ py::overload_cast<word_type const &>(&FpSemigroup::validate_word,
82
+ py::const_),
83
83
py::arg (" w" ),
84
84
R"pbdoc(
85
85
Validates a word.
@@ -89,8 +89,8 @@ namespace libsemigroups {
89
89
:Returns: (None)
90
90
)pbdoc" )
91
91
.def (" validate_word" ,
92
- py::overload_cast<std::string const &>(&FpSemigroup::validate_word,
93
- py::const_),
92
+ py::overload_cast<std::string const &>(&FpSemigroup::validate_word,
93
+ py::const_),
94
94
py::arg (" w" ),
95
95
R"pbdoc(
96
96
Validates a word.
@@ -110,7 +110,7 @@ namespace libsemigroups {
110
110
:Returns: (None)
111
111
)pbdoc" )
112
112
.def (" set_alphabet" ,
113
- py::overload_cast<std::string const &>(&FpSemigroup::set_alphabet),
113
+ py::overload_cast<std::string const &>(&FpSemigroup::set_alphabet),
114
114
py::arg (" a" ),
115
115
R"pbdoc(
116
116
Set the alphabet of the finitely presented semigroup.
@@ -152,7 +152,7 @@ namespace libsemigroups {
152
152
:Returns: (None)
153
153
)pbdoc" )
154
154
.def (" set_identity" ,
155
- py::overload_cast<std::string const &>(&FpSemigroup::set_identity),
155
+ py::overload_cast<std::string const &>(&FpSemigroup::set_identity),
156
156
py::arg (" id" ),
157
157
R"pbdoc(
158
158
Set a string of length 1 belonging to
@@ -210,7 +210,7 @@ namespace libsemigroups {
210
210
:Returns: (None)
211
211
)pbdoc" )
212
212
.def (" add_rule" ,
213
- py::overload_cast<std::string const &, std::string const &>(
213
+ py::overload_cast<std::string const &, std::string const &>(
214
214
&FpSemigroup::add_rule),
215
215
py::arg (" u" ),
216
216
py::arg (" v" ),
@@ -223,7 +223,7 @@ namespace libsemigroups {
223
223
:Returns: (None)
224
224
)pbdoc" )
225
225
.def (" add_rule" ,
226
- py::overload_cast<word_type const &, word_type const &>(
226
+ py::overload_cast<word_type const &, word_type const &>(
227
227
&FpSemigroup::add_rule),
228
228
py::arg (" u" ),
229
229
py::arg (" v" ),
@@ -236,7 +236,7 @@ namespace libsemigroups {
236
236
:Returns: (None)
237
237
)pbdoc" )
238
238
.def (" add_rules" ,
239
- py::overload_cast<FroidurePinBase &>(&FpSemigroup::add_rules),
239
+ py::overload_cast<FroidurePinBase&>(&FpSemigroup::add_rules),
240
240
py::arg (" S" ),
241
241
R"pbdoc(
242
242
Add the rules of a finite presentation for S to this.
@@ -246,7 +246,7 @@ namespace libsemigroups {
246
246
:Returns: (None)
247
247
)pbdoc" )
248
248
.def (" add_rules" ,
249
- py::overload_cast<std::vector<rule_type> const &>(
249
+ py::overload_cast<std::vector<rule_type> const &>(
250
250
&FpSemigroup::add_rules),
251
251
py::arg (" rels" ),
252
252
R"pbdoc(
@@ -259,7 +259,7 @@ namespace libsemigroups {
259
259
)pbdoc" )
260
260
.def (
261
261
" number_of_rules" ,
262
- [](FpSemigroup const & fp) { return fp.number_of_rules (); },
262
+ [](FpSemigroup const & fp) { return fp.number_of_rules (); },
263
263
R"pbdoc(
264
264
Returns the number of rules currently used to define the
265
265
finitely presented semigroups.
@@ -317,7 +317,7 @@ namespace libsemigroups {
317
317
:Returns: (None)
318
318
)pbdoc" )
319
319
.def (" run_until" ,
320
- (void (FpSemigroup::*)(std::function<bool ()> &))
320
+ (void (FpSemigroup::*)(std::function<bool ()>&))
321
321
& Runner::run_until,
322
322
py::arg (" func" ),
323
323
R"pbdoc(
@@ -366,7 +366,7 @@ namespace libsemigroups {
366
366
)pbdoc" )
367
367
.def (
368
368
" running" ,
369
- [](FpSemigroup const & fp) { return fp.running (); },
369
+ [](FpSemigroup const & fp) { return fp.running (); },
370
370
R"pbdoc(
371
371
Check if the algorithm is currently running.
372
372
@@ -382,7 +382,7 @@ namespace libsemigroups {
382
382
:return: A ``bool``.
383
383
)pbdoc" )
384
384
.def (" normal_form" ,
385
- py::overload_cast<std::string const &>(&FpSemigroup::normal_form),
385
+ py::overload_cast<std::string const &>(&FpSemigroup::normal_form),
386
386
py::arg (" w" ),
387
387
R"pbdoc(
388
388
Returns a normal form for a string.
@@ -392,7 +392,7 @@ namespace libsemigroups {
392
392
:Returns: A string.
393
393
)pbdoc" )
394
394
.def (" normal_form" ,
395
- py::overload_cast<word_type const &>(&FpSemigroup::normal_form),
395
+ py::overload_cast<word_type const &>(&FpSemigroup::normal_form),
396
396
py::arg (" w" ),
397
397
R"pbdoc(
398
398
Returns a normal form for a list of integers.
@@ -402,7 +402,7 @@ namespace libsemigroups {
402
402
:Returns: A list of integers.
403
403
)pbdoc" )
404
404
.def (" equal_to" ,
405
- py::overload_cast<std::string const &, std::string const &>(
405
+ py::overload_cast<std::string const &, std::string const &>(
406
406
&FpSemigroup::equal_to),
407
407
py::arg (" u" ),
408
408
py::arg (" v" ),
@@ -415,7 +415,7 @@ namespace libsemigroups {
415
415
:Returns: ``True`` if the strings ``u`` and ``v`` represent the same element of the finitely presented semigroup, and ``False`` otherwise.
416
416
)pbdoc" )
417
417
.def (" equal_to" ,
418
- py::overload_cast<word_type const &, word_type const &>(
418
+ py::overload_cast<word_type const &, word_type const &>(
419
419
&FpSemigroup::equal_to),
420
420
py::arg (" u" ),
421
421
py::arg (" v" ),
@@ -477,7 +477,7 @@ namespace libsemigroups {
477
477
)pbdoc" )
478
478
.def (
479
479
" has_froidure_pin" ,
480
- [](FpSemigroup const & x) { return x.has_froidure_pin (); },
480
+ [](FpSemigroup const & x) { return x.has_froidure_pin (); },
481
481
R"pbdoc(
482
482
Returns True if a ``FroidurePin`` instance isomorphic to the
483
483
finitely presented semigroup has already been
@@ -487,7 +487,7 @@ namespace libsemigroups {
487
487
)pbdoc" )
488
488
.def (
489
489
" froidure_pin" ,
490
- [](FpSemigroup & x) { return x.froidure_pin (); },
490
+ [](FpSemigroup& x) { return x.froidure_pin (); },
491
491
R"pbdoc(
492
492
Returns a ``FroidurePin`` instance isomorphic to the finitely
493
493
presented semigroup.
@@ -554,7 +554,7 @@ namespace libsemigroups {
554
554
)pbdoc" )
555
555
.def (
556
556
" rules" ,
557
- [](FpSemigroup const & fp) {
557
+ [](FpSemigroup const & fp) {
558
558
return py::make_iterator (fp.cbegin_rules (), fp.cend_rules ());
559
559
},
560
560
R"pbdoc(
0 commit comments