API REFERENCE
Bibliography
Further info
libsemigroups::SemiringWithThreshold::
::
SemiringWithThreshold
Default constructor.