Package org.tweetyproject.math.algebra

Class BooleanSemiring

java.lang.Object

org.tweetyproject.math.algebra.Semiring<Boolean>

org.tweetyproject.math.algebra.BooleanSemiring

public class BooleanSemiring
extends Semiring<Boolean>

This class represents a Boolean semiring. In this semiring, the addition operation corresponds to logical OR, the multiplication operation corresponds to logical AND, the additive identity is false, and the multiplicative identity is true.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
BooleanSemiring()	Constructs a BooleanSemiring with logical OR, logical AND as addition and multiplication operations, respectively.

Method Summary

Modifier and Type	Method	Description
Boolean	divide(Boolean dividend, Boolean divisor)	Implements the division operation in this semiring.
Boolean	getRandomElement()	Generates a random Boolean element.
double	toNumericalValue(Boolean weight)	Converts a Boolean weight to its numerical representation.

Methods inherited from class org.tweetyproject.math.algebra.Semiring

add, betterOrSame, getAddition, getMultiplication, getOneElement, getZeroElement, multiply, validateAndReturn

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BooleanSemiring

public BooleanSemiring()

Constructs a BooleanSemiring with logical OR, logical AND as addition and multiplication operations, respectively. The additive identity is false, and the multiplicative identity is true.

Method Details

getRandomElement

public Boolean getRandomElement()

Generates a random Boolean element.

Specified by:

getRandomElement in class Semiring<Boolean>

Returns:

A random Boolean element.

toNumericalValue

public double toNumericalValue(Boolean weight)

Converts a Boolean weight to its numerical representation.

Overrides:

toNumericalValue in class Semiring<Boolean>

Parameters:

weight - The Boolean weight to be converted.

Returns:

1.0 if the weight is true, 0.0 otherwise.

divide

public Boolean divide(Boolean dividend,
 Boolean divisor)

Implements the division operation in this semiring.

Specified by:

divide in class Semiring<Boolean>

Parameters:

dividend - The Boolean dividend.

divisor - The Boolean divisor.

Returns:

The result of the division operation (logical AND).