PBRs

Defined in pbr.hpp.

This page contains the documentation for functionality in libsemigroups for partitioned binary relations; see [MM13] for more details.

Validating

Helper variable templates