The usual Boolean semiring. More...
#include <semiring.h>
Inheritance diagram for libsemigroups::BooleanSemiring:
Collaboration diagram for libsemigroups::BooleanSemiring:
Public Member Functions | |
| bool | one () const override |
| Returns the integer 1. More... | |
| bool | plus (bool x, bool y) const override |
| Returns the sum \(x + y\). More... | |
| bool | prod (bool x, bool y) const override |
| Returns the product \(xy\). More... | |
| bool | zero () const override |
| Returns the integer 0. More... | |
 Public Member Functions inherited from libsemigroups::Semiring< bool > | |
| virtual | ~Semiring () |
| A default destructor. More... | |
Additional Inherited Members | |
| Static Public Attributes inherited from libsemigroups::Semiring< bool > | |
| static const bool | INFTY |
| Value representing \(\infty\). More... | |
| static const bool | MINUS_INFTY |
| Value representing \(-\infty\). More... | |
| static const bool | UNDEFINED |
| Value representing an undefined quantity. More... | |
Detailed Description
The usual Boolean semiring.
Member Function Documentation
◆ one()
|
inlineoverridevirtual |
Returns the integer 1.
Implements libsemigroups::Semiring< bool >.
◆ plus()
|
inlineoverridevirtual |
Returns the sum \(x + y\).
Implements libsemigroups::Semiring< bool >.
◆ prod()
|
inlineoverridevirtual |
Returns the product \(xy\).
Implements libsemigroups::Semiring< bool >.
◆ zero()
|
inlineoverridevirtual |
Returns the integer 0.
Implements libsemigroups::Semiring< bool >.
The documentation for this class was generated from the following file:
- src/semiring.h
