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

add: logical or mult: logical and zero: 0 one: 1 codomain = [-infty, +infty] More...

#include <Semirings.h>

Public Member Functions

 IntLogicalSemiring ()=default
 
virtual ~IntLogicalSemiring ()=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: logical or mult: logical and zero: 0 one: 1 codomain = [-infty, +infty]

Constructor & Destructor Documentation

IntLogicalSemiring::IntLogicalSemiring ( )
default
virtual IntLogicalSemiring::~IntLogicalSemiring ( )
virtualdefault

Member Function Documentation

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

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