Constructors

This page contains information about the constructors for the Konieczny class.

inline libsemigroups::Konieczny::Konieczny()

Default constructor.

This is the standard constructor for a Konieczny instance with unspecified generators.

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

See

add_generator and add_generators

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) gens in the same order they occur in gens.

Parameters

gens – the generators represented by this.

Throws

LibsemigroupsException – if any of the following hold:

  • gens is empty

  • Degree{}(x) != Degree{}(y) for some x, y in gens.