semirings
Class MaxTropical

java.lang.Object
  extended by semirings.MaxTropical
All Implemented Interfaces:
Serializable, Comparable, Optimization, Semiring, SeparativeSemiring

public class MaxTropical
extends Object
implements SeparativeSemiring, Optimization

Implementation of the Tropical semiring with maximization. This semiring is a strictly monotonic, totally ordered, regular semiring with idempotent addition. Therefore, it qualifies for modeling optimization problems and consequently, it implements Optimization that contains the appropriate ordering relation.

Version:
$LastChangedRevision: 573 $
$LastChangedDate: 2008-03-26 14:50:22 +0100 (Mi, 26 Mrz 2008) $
Author:
Marc Pouly
See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from interface nenok.va.sr.Optimization
Optimization.Implementor
 
Constructor Summary
MaxTropical(int value)
          Constructor:
 
Method Summary
 Semiring add(Semiring semiring)
           
 int compareTo(Object semiring)
           
 boolean equals(Object o)
           
 SeparativeSemiring inverse()
           
 Semiring multiply(Semiring semiring)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MaxTropical

public MaxTropical(int value)
Constructor:

Parameters:
value - The value for this semiring element.
Method Detail

multiply

public Semiring multiply(Semiring semiring)
Specified by:
multiply in interface Semiring
See Also:
Semiring.multiply(nenok.va.sr.Semiring)

add

public Semiring add(Semiring semiring)
Specified by:
add in interface Semiring
See Also:
Semiring.add(nenok.va.sr.Semiring)

inverse

public SeparativeSemiring inverse()
Specified by:
inverse in interface SeparativeSemiring
See Also:
SeparativeSemiring.inverse()

equals

public boolean equals(Object o)
Overrides:
equals in class Object
See Also:
Object.equals(java.lang.Object)

compareTo

public int compareTo(Object semiring)
Specified by:
compareTo in interface Comparable
See Also:
Comparable.compareTo(java.lang.Object)

toString

public String toString()
Overrides:
toString in class Object
See Also:
Object.toString()