contains

bool libsemigroups::Konieczny::contains(const_reference x)

Returns whether x is contained in this.

This involves computing as many complete frames for \(\mathscr{D}\)-classes of this as necessary.