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
@Generated(generator="eu.bandm.tools.umod", version="", timestamp="2026-10-23_14h02m37") 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.2-26, see this pretty print.)

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    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.4-21, see this pretty print.)
    The type of this field is boolean(never null)
    Its value defaults to false .

    protected static final int
    BASE_HASH
     
    protected @Opt 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.5-19, see this pretty print.)
    The type of this field is Rational(maybe null)
    Its value defaults to Rational.valueOf(1, 128) .

    protected @Opt 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.5-19, see this pretty print.)
    The type of this field is Rational(maybe null)
    Its value defaults to Rational.valueOf(1, 128) .

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

  • Constructor Summary

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

  • Method Summary

    Modifier and Type
    Method
    Description
    MetricParameters.Nota_tempusApproximandum
    doclone()
    Clones this object.
    boolean
    equals(Object e0)
    Generated by umod because this class is ALGEBRAIC.
    Format
    format()
    Delivers a format object for pretty-printing by inheritance from some ancestor class.
    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.4-21, see this pretty print.)
    Generated getter method.
    @Opt 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.5-19, see this pretty print.)
    Generated getter method.
    @Opt 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.5-19, see this pretty print.)
    Generated getter method.
    int
    get_divisor()
    Divisor for generating new approximations.
    (This definition has been created by UMod from the source at SYSTEM "MetricParameters.umod":247.4-11, see this pretty print.)
    Generated getter method.
    int
    hashCode()
    Generated by umod because this class is ALGEBRAIC.
    MetricParameters.Nota_tempusApproximandum
    initFrom(Object o0)
    Copies values of all common fields from the argument.
    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.4-21, see this pretty print.)
    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.5-19, see this pretty print.)
    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.5-19, see this pretty print.)
    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.4-11, see this pretty print.)
    boolean
    x_equals(MetricParameters.Nota_tempusApproximandum e0)
     

    Methods inherited from class java.lang.Object

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

  • Field Details

    • BASE_HASH

      protected static final int BASE_HASH

    • distance_lower

      protected @Opt 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.5-19, 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 @Opt 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.5-19, 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.4-11, 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.4-21, 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()
      Constructor with minimal set of arguments, is supplied automatically by the umod compiler, not explicitly by the 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 @Opt 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.5-19, see this pretty print.)
      Generated getter method.
      Returns:
      The current field value of type Rational(maybe null)
      See Also:

    • 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.5-19, 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 @Opt 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.5-19, see this pretty print.)
      Generated getter method.
      Returns:
      The current field value of type Rational(maybe null)
      See Also:

    • 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.5-19, 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.4-11, see this pretty print.)
      Generated getter method.
      Returns:
      The current field value of type int(never null)
      See Also:

    • 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.4-11, 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.4-21, see this pretty print.)
      Generated getter method.
      Returns:
      The current field value of type boolean(never null)
      See Also:

    • 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.4-21, 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: