Konieczny::DClass¶

class DClass : protected libsemigroups::detail::BruidhinnTraits<TElementType>¶

Defined in konieczny.hpp.

The nested abstract class Konieczny::DClass represents a \(\mathscr{D}\)-class via a frame as computed in Konieczny’s algorithm. See here for more details.

As an abstract class, DClass cannot be directly constructed; instead you should obtain a \(\mathscr{D}\)-class by calling Konieczny::D_class_of_element.

Member functions¶

`contains(const_reference)`
`is_regular_D_class() const noexcept`
`number_of_L_classes() const`
`number_of_R_classes() const`
`number_of_idempotents() const`
`rep() const`
`size() const`
`size_H_class() const`