Package com.io7m.jregions.core.unparameterized.sizes

Class AreaSizesBI

java.lang.Object
com.io7m.jregions.core.unparameterized.sizes.AreaSizesBI
public final class AreaSizesBI
extends java.lang.Object
Functions over area sizes.

  • Method Summary

    Modifier and Type Method Description
    static AreaBI area​(AreaSizeBI size)
    Construct an area at the origin that has the same size as size.
    static boolean includes​(AreaSizeBI a, AreaSizeBI b)
    Determine if an area includes another area.

    Methods inherited from class java.lang.Object

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

  • Method Details

    • includes

      public static boolean includes​(AreaSizeBI a, AreaSizeBI b)

      Determine if an area includes another area.

      Inclusion is reflexive: ∀a. includes(a, a)

      Inclusion is transitive: ∀a b c. includes(a, b) ∧ includes(b, c) → includes(a, c)

      Parameters:
      a - The containing area
      b - The contained area
      Returns:
      true if a can contain b

    • area

      public static AreaBI area​(AreaSizeBI size)
      Construct an area at the origin that has the same size as size.
      Parameters:
      size - The area size
      Returns:
      An area at the origin