eu.bandm.sig.semantics
Class DimensionEvaluator

java.lang.Object
  eu.bandm.sig.semantics.DimensionEvaluator

All Implemented Interfaces:

Function<Dimension,PolynomialDimension>

public class DimensionEvaluator
extends Object
implements Function<Dimension,PolynomialDimension>

Field Summary

static Monoid<PolynomialDimension,PolynomialDimension>

multiplication

Constructor Summary

DimensionEvaluator()

Method Summary

PolynomialDimension	apply(Dimension d)
static PolynomialDimension	inverse(PolynomialDimension x)
static PolynomialDimension	multiply(PolynomialDimension x, PolynomialDimension y)
PolynomialDimension	power(PolynomialDimension x, Rational r)
static PolynomialDimension	unit(SimpleDimension r)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

multiplication

public static final Monoid<PolynomialDimension,PolynomialDimension> multiplication

Constructor Detail

DimensionEvaluator

public DimensionEvaluator()

Method Detail

unit

public static PolynomialDimension unit(SimpleDimension r)

inverse

public static PolynomialDimension inverse(PolynomialDimension x)

multiply

public static PolynomialDimension multiply(PolynomialDimension x,
                                           PolynomialDimension y)

power

public PolynomialDimension power(PolynomialDimension x,
                                 Rational r)

apply

public PolynomialDimension apply(Dimension d)

Specified by:

apply in interface Function<Dimension,PolynomialDimension>