Class Length.Unknown

java.lang.Object
org.midheaven.collections.Length
org.midheaven.collections.Length.Unknown
Enclosing class:
Length

public static final class Length.Unknown extends Length
  • Constructor Details

    • Unknown

      public Unknown()
  • Method Details

    • min

      public Length min(Length other)
      Description copied from class: Length
      Returns a new Length that is the minimum between this and the given Length min(finite(x), finite(y)) -> finite(x <= y ? x : y) min(finite(x), infinite) -> finite(x) min(finite(x), unknown) -> unknown min(infinite, unknown) -> unknown
      Specified by:
      min in class Length
      Parameters:
      other - the other value
      Returns:
      the minimum Length
    • minus

      public Length minus(Length other)
      Description copied from class: Length
      Subtracts the given value from this value. finite(x) - finite(y) -> x - y finite(x) - infinite -> infinite infinite - finite(x) -> infinite finite(x) - unknown -> unknown unknown - finite(x) -> unknown infinite - infinite -> infinite infinite - unknown -> infinite unknown - infinite -> unknown unknown - unknown -> unknown
      Specified by:
      minus in class Length
      Parameters:
      other - the value to subtract
      Returns:
      this - other