libsemigroups
Public Member Functions | List of all members
libsemigroups::BooleanSemiring Class Reference

The usual Boolean semiring. More...

#include <semiring.h>

Inheritance diagram for libsemigroups::BooleanSemiring:
Inheritance graph
Collaboration diagram for libsemigroups::BooleanSemiring:
Collaboration graph

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()

bool libsemigroups::BooleanSemiring::one ( ) const
inlineoverridevirtual

Returns the integer 1.

Implements libsemigroups::Semiring< bool >.

◆ plus()

bool libsemigroups::BooleanSemiring::plus ( bool  x,
bool  y 
) const
inlineoverridevirtual

Returns the sum \(x + y\).

Implements libsemigroups::Semiring< bool >.

◆ prod()

bool libsemigroups::BooleanSemiring::prod ( bool  x,
bool  y 
) const
inlineoverridevirtual

Returns the product \(xy\).

Implements libsemigroups::Semiring< bool >.

◆ zero()

bool libsemigroups::BooleanSemiring::zero ( ) const
inlineoverridevirtual

Returns the integer 0.

Implements libsemigroups::Semiring< bool >.


The documentation for this class was generated from the following file: