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