Z3Shape (SwimOS)

java.lang.Object

swim.math.Z3Shape

All Implemented Interfaces:: Shape

Direct Known Subclasses:: Z3Box, Z3Point

public abstract class Z3Shape extends Object implements Shape

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()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface swim.math.Shape
toValue

Constructor Details
- Z3Shape
  
  public Z3Shape()
Method Details
- 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()
- contains
  
  public boolean contains(Shape shape)
  
  Specified by:
  
  contains in interface Shape
- intersects
  
  public boolean intersects(Shape shape)
  
  Specified by:
  
  intersects in interface Shape
- contains
  
  public abstract boolean contains(Z3Shape shape)
- intersects
  
  public abstract boolean intersects(Z3Shape shape)
- transform
  
  public abstract R3Shape transform(Z3ToR3Function f)
- shapeForm
  
  @Kind public static Z3Form<Z3Shape> shapeForm()