Package eu.bandm.music.entities

Class MetricParameters.Nota_tempusApproximandum

java.lang.Object
eu.bandm.music.entities.MetricParameters.Nota_tempusApproximandum
All Implemented Interfaces:
Formattable, Cloneable
Enclosing class:
MetricParameters
public static class MetricParameters.Nota_tempusApproximandum extends Object implements Cloneable, Formattable
The parameters when MCover works in "binary approximation mode", which divides only by two(2) until the approximation is better than the given thresholds.
(This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":233.3-251.5, see this pretty print.)

  • Field Details

    • BASE_HASH

      protected static final int BASE_HASH

    • distance_lower

      protected Rational distance_lower
      Maximally allowed distance below the approximation; it holds that (found_approx - orig <= distance_lower).
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":237.6-238.6, see this pretty print.)
      The type of this field is Rational(maybe null)
      Its value defaults to Rational.valueOf(1, 128) .
      See Also:

    • distance_upper

      protected Rational distance_upper
      Maximally allowed distance above the approximation; it holds that (orig - found_approx <= distance_upper).
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":242.6-243.6, see this pretty print.)
      The type of this field is Rational(maybe null)
      Its value defaults to Rational.valueOf(1, 128) .
      See Also:

    • divisor

      protected int divisor
      Divisor for generating new approximations.
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":247.5-248.5, see this pretty print.)
      The type of this field is int(never null)
      Its value defaults to 2 .
      See Also:

    • allow_coincidence

      protected boolean allow_coincidence
      Whether resulting distances of zero(=0/1) are allowed, or divisions must be repeated as long as necessary.
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":250.5-251.5, see this pretty print.)
      The type of this field is boolean(never null)
      Its value defaults to false .
      See Also:

  • Constructor Details

    • Nota_tempusApproximandum

      public Nota_tempusApproximandum()
      Synthetic minimal constructor provided by the umod compiler.
      Constructor with minimal set of arguments, supplied automatically by the umod compiler, not explicitly by user.
      (All object fields are set to their default values.)

  • Method Details

    • doclone

      public MetricParameters.Nota_tempusApproximandum doclone()
      Clones this object. Method never fails, since Cloneable is known to be implemented.
      Returns:
      a fresh copy.

    • format

      public Format format()
      Delivers a format object for pretty-printing by inheritance from some ancestor class.
      Specified by:
      format in interface Formattable
      Returns:
      a format that represents this object in a pretty-printable way

    • equals

      public boolean equals(Object e0)
      Generated by umod because this class is ALGEBRAIC.
      Overrides:
      equals in class Object

    • x_equals

      public boolean x_equals(MetricParameters.Nota_tempusApproximandum e0)

    • hashCode

      public int hashCode()
      Generated by umod because this class is ALGEBRAIC.
      Overrides:
      hashCode in class Object

    • initFrom

      public MetricParameters.Nota_tempusApproximandum initFrom(Object o0)
      Copies values of all common fields from the argument. All fields of this class definition are copied, iff the argument is of this class. Then the superclass method is invoked with the same argument.

    • get_distance_lower

      public Rational get_distance_lower()
      Maximally allowed distance below the approximation; it holds that (found_approx - orig <= distance_lower).
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":237.6-238.6, see this pretty print.)
      Generated getter method. @see #distance_lower
      Returns:
      The current field value of type Rational(maybe null)

    • with_distance_lower

      public MetricParameters.Nota_tempusApproximandum with_distance_lower(Rational val)
      Maximally allowed distance below the approximation; it holds that (found_approx - orig <= distance_lower).
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":237.6-238.6, see this pretty print.)
      Parameters:
      val - the new value of type Rational(maybe null)
      Returns:
      a new instance of the algebraic/immutable data type, with the addressed field set to the new value.
      See Also:

    • get_distance_upper

      public Rational get_distance_upper()
      Maximally allowed distance above the approximation; it holds that (orig - found_approx <= distance_upper).
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":242.6-243.6, see this pretty print.)
      Generated getter method. @see #distance_upper
      Returns:
      The current field value of type Rational(maybe null)

    • with_distance_upper

      public MetricParameters.Nota_tempusApproximandum with_distance_upper(Rational val)
      Maximally allowed distance above the approximation; it holds that (orig - found_approx <= distance_upper).
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":242.6-243.6, see this pretty print.)
      Parameters:
      val - the new value of type Rational(maybe null)
      Returns:
      a new instance of the algebraic/immutable data type, with the addressed field set to the new value.
      See Also:

    • get_divisor

      public int get_divisor()
      Divisor for generating new approximations.
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":247.5-248.5, see this pretty print.)
      Generated getter method. @see #divisor
      Returns:
      The current field value of type int(never null)

    • with_divisor

      public MetricParameters.Nota_tempusApproximandum with_divisor(int val)
      Divisor for generating new approximations.
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":247.5-248.5, see this pretty print.)
      Parameters:
      val - the new value of type int(never null)
      Returns:
      a new instance of the algebraic/immutable data type, with the addressed field set to the new value.
      See Also:

    • get_allow_coincidence

      public boolean get_allow_coincidence()
      Whether resulting distances of zero(=0/1) are allowed, or divisions must be repeated as long as necessary.
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":250.5-251.5, see this pretty print.)
      Generated getter method. @see #allow_coincidence
      Returns:
      The current field value of type boolean(never null)

    • with_allow_coincidence

      public MetricParameters.Nota_tempusApproximandum with_allow_coincidence(boolean val)
      Whether resulting distances of zero(=0/1) are allowed, or divisions must be repeated as long as necessary.
      (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":250.5-251.5, see this pretty print.)
      Parameters:
      val - the new value of type boolean(never null)
      Returns:
      a new instance of the algebraic/immutable data type, with the addressed field set to the new value.
      See Also: