Validating PBRs

void libsemigroups::validate(PBR const &x)

Validate a PBR.

This function throws a LibsemigroupsException if the argument x is not valid.

Complexity

Linear in the PBR::degree of x.

Parameters

x – the PBR to validate.

Throws

LibsemigroupsException – if any of the following hold:

• x does not describe a binary relation on an even number of points;

• x has a point related to a point that is greater than degree()

• a list of points related to a point is not sorted.

Returns

(None)