Static member functions¶

inline Transf libsemigroups::Transf::identity() const¶

Returns the identity transformation on degree() points.

This function returns a newly constructed transformation with degree equal to the degree of this that fixes every value from 0 to degree().

Parameters: (None)

Throws:: (None) – This function guarantees not to throw a LibsemigroupsException.
Returns:: A value of type Transf.

static inline Transf libsemigroups::Transf::identity(size_t M)¶

Returns the identity transformation on the given number of points.

This function returns a newly constructed transformation with degree equal to M that fixes every value from 0 to M.

Parameters:

M – the degree.

Throws:

(None) – This function guarantees not to throw a LibsemigroupsException.
(None) – This function guarantees not to throw a LibsemigroupsException.

Returns:

A value of type Transf.

template<typename T> static inline Transf libsemigroups::Transf::make(T &&cont)¶

Construct from a container and validate.

Constructs an transformation initialized using the container cont as follows: the image of the point i under the transformation is the value in position i of the container cont.

Complexity: Linear in the size of the container cont.

Template Parameters:

T – the type of the container cont.

Parameters:

cont – the container.

Throws:

LibsemigroupsException – if any of the following hold:

the size of cont is incompatible with container_type.
any value in cont exceeds cont.size() or is equal to UNDEFINED.

static inline Transf libsemigroups::Transf::make(std::initializer_list<value_type> &&cont)¶

Construct from a container and validate.