Class IntLogicalSemiring

Class Documentation

class IntLogicalSemiring

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

Public Functions

IntLogicalSemiring() = default
~IntLogicalSemiring() = default

Public Static Functions

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