nenok.va
Interface Regularity
- All Superinterfaces:
- Cloneable, Serializable, Valuation
- All Known Subinterfaces:
- Idempotency, Scalability
- All Known Implementing Classes:
- Identity, RegularSRValuation, ScaledSRValuation
public interface Regularity
- 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:
- 1.1
- Author:
- Marc Pouly
Method Summary |
Regularity |
inverse()
Returns an inverse element for the current valuation. |
inverse
Regularity inverse()
- Returns an inverse element for the current valuation.
- Returns:
- The inverse valuation of the given domain.