Class PAreaSizesBI
java.lang.Object
com.io7m.jregions.core.parameterized.sizes.PAreaSizesBI
Functions over area sizes.
-
Method Summary
Modifier and TypeMethodDescriptionstatic <S> booleanincludes(PAreaSizeBI<S> a, PAreaSizeBI<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:
trueifacan containb
-