nenok.va
Interface Separativity
- All Superinterfaces:
- Labeled, Serializable, Valuation
- All Known Subinterfaces:
- Idempotency, Scalability
- All Known Implementing Classes:
- Identity
public interface Separativity
- extends Valuation
This interface equips a valuation algebra with some concept of division.
NENOK does not distinguish between separative and regular valuation algebras,
both are represented by this interface. The division itself is realized by a
single method that computes the inverse element of the current valuation.
- Version:
- $LastChangedRevision: 559 $
$LastChangedDate: 2008-03-26 14:25:18 +0100 (Mi, 26 Mrz 2008) $
- Author:
- Marc Pouly
Nested Class Summary |
static class |
Separativity.Implementor
Implementor class of this interface for separative semiring valuations. |
inverse
Separativity inverse()
- Returns an inverse element for the current valuation.
- Returns:
- The inverse valuation of the given domain.