Closed Joseph-Edwards closed 3 months ago
This PR moves the documentation of active nodes to the class description, inline with https://github.com/libsemigroups/libsemigroups/pull/574.
This should remain a draft until that PR is finalised and merged.
This PR moves the documentation of active nodes to the class description, inline with https://github.com/libsemigroups/libsemigroups/pull/574.
This should remain a draft until that PR is finalised and merged.