- java.lang.Object
-
- swim.math.Z3Shape
-
-
Constructor Summary
Constructors Constructor Description Z3Shape()
-
Method Summary
Modifier and Type Method Description boolean
contains(Shape shape)
abstract boolean
contains(Z3Shape shape)
boolean
intersects(Shape shape)
abstract boolean
intersects(Z3Shape shape)
static Z3Form<Z3Shape>
shapeForm()
abstract R3Shape
transform(Z3ToR3Function f)
abstract long
xMax()
abstract long
xMin()
abstract long
yMax()
abstract long
yMin()
abstract long
zMax()
abstract long
zMin()
-
-
-
Method Detail
-
xMin
public abstract long xMin()
-
yMin
public abstract long yMin()
-
zMin
public abstract long zMin()
-
xMax
public abstract long xMax()
-
yMax
public abstract long yMax()
-
zMax
public abstract long zMax()
-
intersects
public boolean intersects(Shape shape)
- Specified by:
intersects
in interfaceShape
-
contains
public abstract boolean contains(Z3Shape shape)
-
intersects
public abstract boolean intersects(Z3Shape shape)
-
transform
public abstract R3Shape transform(Z3ToR3Function f)
-
-