Validating partial perms¶
-
template<size_t N, typename Scalar>
void libsemigroups::validate(PPerm<N, Scalar> const &x)¶ Validate a partial perm.
- Complexity
Linear in the size of the container
x.degree()
.
- Template Parameters
T – the type of the partial perm to validate.
- Parameters
x – the partial perm.
- Throws
LibsemigroupsException – if:
the image of any point in
x
exceedsx.degree()
and is not equal to UNDEFINED; orx
is not injective