Constructors¶
This page contains information about the constructors for the,fpsemigroup::KnuthBendix
class.
-
libsemigroups::fpsemigroup::KnuthBendix::KnuthBendix()¶
Default constructor.
Constructs a KnuthBendix instance with no rules, and the short-lex reduction ordering.
- Parameters
(None)
- Complexity
Constant.
-
inline explicit libsemigroups::fpsemigroup::KnuthBendix::KnuthBendix(FroidurePinBase &S)¶
Constructs from a FroidurePin instance.
- Complexity
\(O(|S||A|)\) where \(A\) is the set of generators used to define
S
.
- Parameters
S – the FroidurePin instance.
-
libsemigroups::fpsemigroup::KnuthBendix::KnuthBendix(KnuthBendix const ©)¶
Copy constructor.
- Complexity
\(O(n)\) where \(n\) is the sum of the lengths of the words in rules of
copy
.
- Parameters
copy – the KnuthBendix instance to copy.
-
libsemigroups::fpsemigroup::KnuthBendix::KnuthBendix(KnuthBendix&&)¶
Deleted.
Constructs from a shared pointer to a FroidurePin instance.
- Complexity
\(O(|S||A|)\) where \(A\) is the set of generators used to define
S
.
- Parameters
S – the FroidurePin instance.