libsemigroups::konieczny Namespace Reference

Functions
template<typename Element, typename Traits>
void	add_generators (Konieczny< Element, Traits > &K, std::initializer_list< typename Konieczny< Element, Traits >::const_element_type > coll)
	Add collection of generators from initializer list.
template<typename Element, typename Traits, typename T>
void	add_generators (Konieczny< Element, Traits > K, T const &coll)
	Add collection of generators from container.

Function Documentation

add_generators() [1/2]

template<typename Element, typename Traits>

void add_generators	(	Konieczny< Element, Traits > &	K,
		std::initializer_list< typename Konieczny< Element, Traits >::const_element_type >	coll )

See add_generator for a detailed description.

Parameters

K	reference to the Konieczny instance to add generators to.
coll	the collection of generators to add.

Exceptions

LibsemigroupsException

if any of the following hold: the degree of x is incompatible with the existing degree. started returns true

add_generators() [2/2]

template<typename Element, typename Traits, typename T>

void add_generators	(	Konieczny< Element, Traits >	K,
		T const &	coll )

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

K	reference to the Konieczny instance to add generators to.
coll	the collection of generators to add.

Exceptions

LibsemigroupsException

if any of the following hold: the degree of x is incompatible with the existing degree. started returns true