- java.lang.Object
-
- swim.math.Z3Shape
-
-
Constructor Summary
Constructors Constructor Description Z3Shape()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description booleancontains(Shape shape)abstract booleancontains(Z3Shape shape)booleanintersects(Shape shape)abstract booleanintersects(Z3Shape shape)static Z3Form<Z3Shape>shapeForm()abstract R3Shapetransform(Z3ToR3Function f)abstract longxMax()abstract longxMin()abstract longyMax()abstract longyMin()abstract longzMax()abstract longzMin()
-
-
-
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:
intersectsin interfaceShape
-
contains
public abstract boolean contains(Z3Shape shape)
-
intersects
public abstract boolean intersects(Z3Shape shape)
-
transform
public abstract R3Shape transform(Z3ToR3Function f)
-
-