Class AreaSizesD
java.lang.Object
com.io7m.jregions.core.unparameterized.sizes.AreaSizesD
Functions over area sizes.
-
Method Summary
-
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
-