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.