Module com.io7m.jregions.core

Package com.io7m.jregions.core.unparameterized.sizes

Class AreaSizesF

java.lang.Object

com.io7m.jregions.core.unparameterized.sizes.AreaSizesF

public final class AreaSizesF
extends java.lang.Object

Functions over area sizes.

Method Summary

Modifier and Type	Method	Description
static AreaF	area(AreaSizeF size)	Construct an area at the origin that has the same size as size.
static boolean	includes(AreaSizeF a, AreaSizeF b)	Determine if an area includes another area.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

includes

public static boolean includes(AreaSizeF a,
                               AreaSizeF b)

Determine if an area includes another area.

Inclusion is reflexive: \u2200a. includes(a, a)

Inclusion is transitive: \u2200a b c. includes(a, b) \u2227 includes(b, c) \u2192 includes(a, c)

Parameters:

a - The containing area

b - The contained area

Returns:

true if a can contain b

area

public static AreaF area(AreaSizeF size)

Construct an area at the origin that has the same size as size.

Parameters:

size - The area size

Returns:

An area at the origin