Related algorithms¶
-
inline bool libsemigroups::FpSemigroup::has_kambites() const noexcept¶
Checks if a fpsemigroup::Kambites instance is being used to compute the finitely presented semigroup represented by
this
.See also
- Parameters
(None)
- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
Constant.
- Returns
A
bool
.
-
inline bool libsemigroups::FpSemigroup::has_knuth_bendix() const¶
Checks if a fpsemigroup::KnuthBendix instance is being used to compute the finitely presented semigroup represented by
this
.See also
- Parameters
(None)
- Exceptions
This function guarantees not to throw a
LibsemigroupsException
.- Complexity
Constant.
- Returns
A
bool
.
-
inline bool libsemigroups::FpSemigroup::has_todd_coxeter() const¶
Checks if a fpsemigroup::ToddCoxeter instance is being used to compute the finitely presented semigroup represented by
this
.See also
- Parameters
(None)
- Exceptions
This function guarantees not to throw a
LibsemigroupsException
.- Complexity
Constant.
- Returns
A
bool
.
-
inline std::shared_ptr<Kambites> libsemigroups::FpSemigroup::kambites() const¶
Returns the fpsemigroup::Kambites instance used to compute the finitely presented semigroup (if any).
See also
- Complexity
Constant.
- Parameters
(None)
- Throws
(None) – This function guarantees not to throw a
LibsemigroupsException
..- Returns
A shared_ptr to a congruence::Kambites or nullptr.
-
inline std::shared_ptr<KnuthBendix> libsemigroups::FpSemigroup::knuth_bendix() const¶
Returns the fpsemigroup::KnuthBendix instance used to compute the finitely presented semigroup (if any).
See also
- Complexity
Constant.
- Parameters
(None)
- Throws
(None) – This function guarantees not to throw a
LibsemigroupsException
..- Returns
A shared_ptr to a congruence::KnuthBendix or nullptr.
-
inline std::shared_ptr<ToddCoxeter> libsemigroups::FpSemigroup::todd_coxeter() const¶
Returns the libsemigroups::fpsemigroup::ToddCoxeter instance used to compute the finitely presented semigroup (if any).
See also
- Complexity
Constant.
- Parameters
(None)
- Throws
(None) – This function guarantees not to throw a
LibsemigroupsException
.- Returns
A shared_ptr to a congruence::KnuthBendix or nullptr.