nenok.va.sr
Interface SeparativeSemiring

All Superinterfaces:
Semiring, Serializable
All Known Subinterfaces:
ICSemiring

public interface SeparativeSemiring
extends Semiring

Separative semirings allow the introduction of division into valuation algebras. This interface represents elements of a division aware semiring. According to (Kohlas & Wilson 2006) separative semirings are semirings whose multiplicative semigroup is separative and there exists an embedding into a union of groups such that the equivalence classes are positive.

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

Method Summary
 SeparativeSemiring inverse()
          This method computes the inverse semiring element of this.
 
Methods inherited from interface nenok.va.sr.Semiring
add, multiply
 

Method Detail

inverse

SeparativeSemiring inverse()
This method computes the inverse semiring element of this.

Returns:
The inverse semiring element.