Class AreaSizesBD
java.lang.Object
com.io7m.jregions.core.unparameterized.sizes.AreaSizesBD
Functions over area sizes.
-
Method Summary
Modifier and TypeMethodDescriptionstatic AreaBD
area
(AreaSizeBD size) Construct an area at the origin that has the same size assize
.static boolean
includes
(AreaSizeBD a, AreaSizeBD b) Determine if an area includes another area.
-
Method Details
-
includes
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 areab
- The contained area- Returns:
true
ifa
can containb
-
area
Construct an area at the origin that has the same size assize
.- Parameters:
size
- The area size- Returns:
- An area at the origin
-