File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1806,28 +1806,6 @@ namespace libsemigroups {
18061806 return _ranks.empty () && _run_initialised;
18071807 }
18081808
1809- // ! \ingroup konieczny_group
1810- // !
1811- // ! \brief Deduction guide.
1812- // !
1813- // ! Defined in `konieczny.hpp`.
1814- // !
1815- // ! Deduction guide to construct a `Konieczny<Element>` from a
1816- // ! `std::vector<Element> const&`.
1817- template <typename Element>
1818- Konieczny (std::vector<Element> const &) -> Konieczny<Element>;
1819-
1820- // ! \ingroup konieczny_group
1821- // !
1822- // ! \brief Deduction guide.
1823- // !
1824- // ! Defined in `konieczny.hpp`.
1825- // !
1826- // ! Deduction guide to construct a `Konieczny<Element>` from a
1827- // ! `std::initializer_list<Element> const&`.
1828- template <typename Element>
1829- Konieczny (std::initializer_list<Element> const &) -> Konieczny<Element>;
1830-
18311809 // ! \ingroup konieczny_group
18321810 // !
18331811 // ! \brief Return a human readable representation of a Konieczny object.
You can’t perform that action at this time.
0 commit comments