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 complete 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::get_D_class on the parent semigroup.
- See
Subclassed by libsemigroups::Konieczny< TElementType, TTraits >::NonRegularDClass, libsemigroups::Konieczny< TElementType, TTraits >::RegularDClass