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.
See also
Subclassed by libsemigroups::Konieczny< TElementType, TTraits >::NonRegularDClass, libsemigroups::Konieczny< TElementType, TTraits >::RegularDClass
Member functions¶
Test membership of an element. |
|
Test regularity of a \(\mathscr{D}\) -class. |
|
Returns the number of \(\mathscr{L}\) -classes. |
|
Returns the number of \(\mathscr{R}\) -classes. |
|
Returns the number of idempotents. |
|
Returns a representative of the \(\mathscr{D}\) -class. |
|
Returns the size of a \(\mathscr{D}\) -class. |
|
Returns the size of the \(\mathscr{H}\) -classes. |