nenok.va.semiring
Class RegularSRValuation
java.lang.Object
nenok.va.semiring.SRValuation
nenok.va.semiring.RegularSRValuation
- All Implemented Interfaces:
- Serializable, Cloneable, Predictability, Regularity, Valuation
- Direct Known Subclasses:
- ScaledSRValuation
public class RegularSRValuation
- extends SRValuation
- implements Regularity
Semirings with division induce dividable valuation algebras. This class
extends the semiring valuation class by offering a pre-implementation of
the Regularity
interface.
- Version:
- 1.1
- Author:
- Marc Pouly
- See Also:
- Serialized Form
Method Summary |
Regularity |
inverse()
Returns an inverse element for the current valuation. |
RegularSRValuation
public RegularSRValuation()
- Constructor:
RegularSRValuation
public RegularSRValuation(FiniteVariable[] variables,
RegularElement[] elements)
- Constructor:
- Parameters:
variables
- The variables of this valuation.elements
- The semiring elements assigned to the configurations.
inverse
public Regularity inverse()
- Description copied from interface:
Regularity
- Returns an inverse element for the current valuation.
- Specified by:
inverse
in interface Regularity
- Returns:
- The inverse valuation of the given domain.
- See Also:
Regularity.inverse()