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