contains

bool libsemigroups::BooleanSemiring::contains(bool) const

Returns true if this contain the argument.

This member function returns true if the argument is mathematically contained in this. For semirings without threshold, this will always return true.