libsemigroups
|
The usual Boolean semiring. More...
#include <semiring.h>
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... | |
![]() | |
virtual | ~Semiring () |
A default destructor. More... | |
Additional Inherited Members | |
![]() | |
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... | |
The usual Boolean semiring.
|
inlineoverridevirtual |
Returns the integer 1.
Implements libsemigroups::Semiring< bool >.
|
inlineoverridevirtual |
Returns the sum \(x + y\).
Implements libsemigroups::Semiring< bool >.
|
inlineoverridevirtual |
Returns the product \(xy\).
Implements libsemigroups::Semiring< bool >.
|
inlineoverridevirtual |
Returns the integer 0.
Implements libsemigroups::Semiring< bool >.