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

Class TropicalSemiring

java.lang.Object

de.saar.chorus.domgraph.chart.wrtg.TropicalSemiring

All Implemented Interfaces:

Semiring<Double>

public class TropicalSemiring
extends Object
implements Semiring<Double>

Constructor Summary

Constructors

Constructor	Description
TropicalSemiring()

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

TropicalSemiring

public TropicalSemiring()

Method Details

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>

add

public Double add(Double first,
 Double second)

Specified by:

add in interface Semiring<Double>

one

public Double one()

Specified by:

one in interface Semiring<Double>

zero

public Double zero()

Specified by:

zero in interface Semiring<Double>

maxElement

public Double maxElement()

Specified by:

maxElement in interface Semiring<Double>