1libsemigroups::Konieczny:
2- Public types:
3  - [typedef, element_type]
4  - [typedef, const_reference]
5  - [typedef, const_d_class_iterator]
6  - [typedef, const_regular_d_class_iterator]
7  - [typedef, lambda_value_type]
8  - [typedef, lambda_orb_type]
9  - [typedef, rho_value_type]
10  - [typedef, rho_orb_type]
11- Stateless public types:
12  - [typedef, Degree]
13  - [typedef, EqualTo]
14  - [typedef, Lambda]
15  - [typedef, Less]
16  - [typedef, One]
17  - [typedef, Product]
18  - [typedef, Rank]
19  - [typedef, Rho]
20  - [typedef, Swap]
21- Constructors:
22  - Konieczny
23  - Konieczny(Konieczny const&)
24  - operator=(Konieczny const&)
25  - Konieczny(Konieczny&&)
26  - operator=(Konieczny&&)
27  - Konieczny(std::vector<element_type> const&)
28- Initialisation:
29  - add_generator
30  - add_generators(T const&)
31  - add_generators(std::initializer_list<const_element_type>)
32  - add_generators(T const&, T const&)
33- Elements:
34  - is_regular_element
35  - contains
36- Attributes:
37  - size
38  - number_of_generators
39  - number_of_D_classes
40  - number_of_L_classes
41  - number_of_R_classes
42  - number_of_regular_D_classes
43  - number_of_regular_L_classes
44  - number_of_regular_R_classes
45  - number_of_regular_elements
46- Const Attributes:
47  - degree
48  - current_size
49  - number_of_idempotents
50  - current_number_of_idempotents
51  - current_number_of_D_classes
52  - current_number_of_L_classes
53  - current_number_of_R_classes
54  - current_number_of_regular_D_classes
55  - current_number_of_regular_L_classes
56  - current_number_of_regular_R_classes
57  - current_number_of_regular_elements
58- State:
59  - finished
60  - started
61  - stopped
62  - timed_out
63  - running
64  - stopped_by_predicate
65- Iterators:
66  - cbegin_D_classes
67  - cend_D_classes
68  - cbegin_regular_D_classes
69  - cbegin_rdc
70  - cend_regular_D_classes
71  - cend_rdc
72