All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Public Member Functions | Static Public Member Functions | List of all members
MinMaxSemiring Class Reference

add: min mult: max zero: +infty one: -infty codomain = [-infty, +infty] More...

#include <Semirings.h>

Public Member Functions

 MinMaxSemiring ()=default
 
virtual ~MinMaxSemiring ()=default
 

Static Public Member Functions

static double add (double a, double b)
 
static double mult (double a, double b)
 
static double zero ()
 
static double one ()
 

Detailed Description

add: min mult: max zero: +infty one: -infty codomain = [-infty, +infty]

Constructor & Destructor Documentation

MinMaxSemiring::MinMaxSemiring ( )
default
virtual MinMaxSemiring::~MinMaxSemiring ( )
virtualdefault

Member Function Documentation

static double MinMaxSemiring::add ( double  a,
double  b 
)
inlinestatic
static double MinMaxSemiring::mult ( double  a,
double  b 
)
inlinestatic
static double MinMaxSemiring::one ( )
inlinestatic
static double MinMaxSemiring::zero ( )
inlinestatic

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