Module swim.math

Package swim.math

Class Z3Box

java.lang.Object

swim.math.Z3Shape

swim.math.Z3Box

All Implemented Interfaces:

Debug, Shape

public class Z3Box
extends Z3Shape
implements Debug

Field Summary

Fields

Modifier and Type	Field	Description
final long	xMax
final long	xMin
final long	yMax
final long	yMin
final long	zMax
final long	zMin

Constructor Summary

Constructors

Constructor	Description
Z3Box(long xMin, long yMin, long zMin, long xMax, long yMax, long zMax)

Method Summary

Modifier and Type	Method	Description
protected boolean	canEqual(Z3Box that)
boolean	contains(Z3Box box)
boolean	contains(Z3Point point)
boolean	contains(Z3Shape shape)
<T> Output<T>	debug(Output<T> output)	Writes a developer readable, debug-formatted string representation of this object to output.
boolean	equals(Object other)
static Z3Form<Z3Box>	form()
int	hashCode()
boolean	intersects(Z3Box box)
boolean	intersects(Z3Point point)
boolean	intersects(Z3Shape shape)
static Z3Box	of(long xMin, long yMin, long zMin, long xMax, long yMax, long zMax)
String	toString()
Value	toValue()
R3Box	transform(Z3ToR3Function f)
final long	xMax()
final long	xMin()
final long	yMax()
final long	yMin()
final long	zMax()
final long	zMin()

Methods inherited from class swim.math.Z3Shape

contains, intersects, shapeForm

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

xMin

public final long xMin

yMin

public final long yMin

zMin

public final long zMin

xMax

public final long xMax

yMax

public final long yMax

zMax

public final long zMax

Constructor Details

Z3Box

public Z3Box(long xMin,
 long yMin,
 long zMin,
 long xMax,
 long yMax,
 long zMax)

Method Details

xMin

public final long xMin()

Specified by:

xMin in class Z3Shape

yMin

public final long yMin()

Specified by:

yMin in class Z3Shape

zMin

public final long zMin()

Specified by:

zMin in class Z3Shape

xMax

public final long xMax()

Specified by:

xMax in class Z3Shape

yMax

public final long yMax()

Specified by:

yMax in class Z3Shape

zMax

public final long zMax()

Specified by:

zMax in class Z3Shape

contains

public boolean contains(Z3Shape shape)

Specified by:

contains in class Z3Shape

contains

public boolean contains(Z3Point point)

contains

public boolean contains(Z3Box box)

intersects

public boolean intersects(Z3Shape shape)

Specified by:

intersects in class Z3Shape

intersects

public boolean intersects(Z3Point point)

intersects

public boolean intersects(Z3Box box)

transform

public R3Box transform(Z3ToR3Function f)

Specified by:

transform in class Z3Shape

toValue

public Value toValue()

Specified by:

toValue in interface Shape

canEqual

protected boolean canEqual(Z3Box that)

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

debug

public <T> Output<T> debug(Output<T> output)

Description copied from interface: Debug

Writes a developer readable, debug-formatted string representation of this object to output.

Specified by:

debug in interface Debug

Returns:

the continuation of the output.

toString

public String toString()

Overrides:

toString in class Object

of

public static Z3Box of(long xMin,
 long yMin,
 long zMin,
 long xMax,
 long yMax,
 long zMax)

form

@Kind
public static Z3Form<Z3Box> form()