Validating transformations

template<size_t N, typename Scalar>
void libsemigroups::validate(Transf<N, Scalar> const &x)

Validate a transformation.

Complexity

Linear in the size of the container x.degree().

Template Parameters:

T – the type of the transformation to validate.

Parameters:

x – the transformation.

Throws:

LibsemigroupsException – if the image of any point exceeds x.degree() or is equal to UNDEFINED.