nenok.va.sr
Interface ICSemiring

All Superinterfaces:
Semiring, SeparativeSemiring, Serializable

public interface ICSemiring
extends SeparativeSemiring

In a distributive C-semiring both operations are idempotent. Additionally, the unit element is absorbing, i.e. a + 1 = 1 for all semiring elements. Such a semiring is equivalent to a bounded distributive lattice. It is important to node that this interface does not extend Optimization since here we do not assume a (strictly monotonic) total order between semiring elements.

Version:
$LastChangedRevision: 560 $
$LastChangedDate: 2008-03-26 14:37:05 +0100 (Mi, 26 Mrz 2008) $
Author:
Marc Pouly

Nested Class Summary
static class ICSemiring.Implementor
          Implementor of the SeparativeSemiring interface.
 
Method Summary
 
Methods inherited from interface nenok.va.sr.SeparativeSemiring
inverse
 
Methods inherited from interface nenok.va.sr.Semiring
add, multiply