KnuthBendix(T const&)¶
-
template<typename T>
inline explicit libsemigroups::congruence::KnuthBendix::KnuthBendix(T const &fp)¶ Constructs a KnuthBendix instance from a FroidurePin instance.
- Complexity
\(O(|S||A|)\) where \(A\) is the set of generators used to define
S
andS
is the semigroup represented by the FroidurePin instancefp
.
Warning
The FroidurePin instance used in construction is copied by this constructor. Use KnuthBendix(std::shared_ptr<FroidurePinBase>) to avoid making a copy.
- Parameters
fp – the FroidurePin instance.