Fork me on GitHub

Class IntLogicalSemiring¶

Defined in File Semirings.hpp

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