Package de.saar.chorus.domgraph.chart.wrtg

Class RealSemiring

java.lang.Object

de.saar.chorus.domgraph.chart.wrtg.RealSemiring

All Implemented Interfaces:

Semiring<Double>

public class RealSemiring
extends Object
implements Semiring<Double>

Constructor Summary

Constructors

Constructor	Description
RealSemiring()

Method Summary

Modifier and Type	Method	Description
Double	add(Double first, Double second)
boolean	isInDomain(Double element)
Double	maxElement()
Double	mult(Double first, Double second)
Double	one()
Double	zero()

Methods inherited from class java.lang.Object

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

Constructor Details

RealSemiring

public RealSemiring()

Method Details

add

public Double add(Double first,
 Double second)

Specified by:

add in interface Semiring<Double>

isInDomain

public boolean isInDomain(Double element)

Specified by:

isInDomain in interface Semiring<Double>

mult

public Double mult(Double first,
 Double second)

Specified by:

mult in interface Semiring<Double>

one

public Double one()

Specified by:

one in interface Semiring<Double>

maxElement

public Double maxElement()

Specified by:

maxElement in interface Semiring<Double>

zero

public Double zero()

Specified by:

zero in interface Semiring<Double>