Class AreaSizesBI
java.lang.Object
com.io7m.jregions.core.unparameterized.sizes.AreaSizesBI
Functions over area sizes.
-
Method Summary
Modifier and TypeMethodDescriptionstatic AreaBI
area
(AreaSizeBI size) Construct an area at the origin that has the same size assize
.static boolean
includes
(AreaSizeBI a, AreaSizeBI 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
-