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

Konieczny.

Subclassed by libsemigroups::Konieczny< TElementType, TTraits >::NonRegularDClass, libsemigroups::Konieczny< TElementType, TTraits >::RegularDClass

Accessors