This page contains information about the constructors for the
This is the standard constructor for a Konieczny instance with unspecified generators.
(None) – This function guarantees not to throw a
inline explicit libsemigroups::Konieczny::Konieczny(std::vector<element_type> const &gens)¶
Construct from generators.
This function constructs a Konieczny instance generated by the specified container of generators. There can be duplicate generators and although they do not count as distinct elements, they do count as distinct generators. In other words, the generators are precisely (a copy of)
gensin the same order they occur in
gens – the generators represented by
LibsemigroupsException – if any of the following hold: