Class PAreaSizesD
java.lang.Object
com.io7m.jregions.core.parameterized.sizes.PAreaSizesD
Functions over area sizes.
-
Method Summary
Modifier and TypeMethodDescriptionstatic <S> boolean
includes
(PAreaSizeD<S> a, PAreaSizeD<S> 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)
- Type Parameters:
S
- A phantom type parameter indicating the coordinate space of the area- Parameters:
a
- The containing areab
- The contained area- Returns:
true
ifa
can containb
-