Initialisation

This page contains information about the member functions of the Konieczny class that can be used for initialisation.

inline void libsemigroups::Konieczny::add_generator(const_reference gen)

Add a copy of an element to the generators.

It is possible, if perhaps not desirable, to add the same generator multiple times.

Parameters

gen – the generator to add.

Throws

LibsemigroupsException – if any of the following hold:

• the degree of x is incompatible with the existing degree

• started returns true

Returns

(None)

template<typename T>
inline void libsemigroups::Konieczny::add_generators(T const &coll)

Add collection of generators from container.

See add_generator for a detailed description.

Template Parameters

T – the type of the container for generators to add (must be a non-pointer type).

Parameters

coll – the collection of generators to add.

Throws

LibsemigroupsException – if any of the following hold:

• the degree of x is incompatible with the existing degree.

• started returns true

Returns

(None)

template<typename T>
inline void libsemigroups::Konieczny::add_generators(T const &first, T const &last)

Add collection of generators from iterators.

Add copies of the generators in the range first to last to this. See add_generator for a detailed description.

Template Parameters

the – type of an iterator pointing to an element_type.

Parameters

• first – iterator pointing to the first generator to add.

• last – iterator pointing one past the last generator to add.

Throws

LibsemigroupsException – if any of the following hold:

• the degree of x is incompatible with the existing degree.

• started returns true

Returns

(None)

inline void libsemigroups::Konieczny::add_generators(std::initializer_list<const_element_type> coll)

Add collection of generators from initializer list.

See add_generator for a detailed description.

Parameters

coll – the collection of generators to add.

Throws

LibsemigroupsException – if any of the following hold:

• the degree of x is incompatible with the existing degree.

• started returns true

Returns

(None)