semirings
Class MinTropical

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

public class MinTropical
extends Object
implements SeparativeSemiring, Optimization

Implementation of the Tropical semiring with minimization. This semiring is a strictly monotonic, totally ordered, cancellative (therefore separative) semiring. Therefore, it qualifies for modeling optimization problems and consequently, it extends 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
MinTropical(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

MinTropical

public MinTropical(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)

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)

inverse

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

toString

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