Module swim.math

Package swim.math

Class Z3Form<T>

java.lang.Object

swim.structure.Form<T>

swim.math.Z3Form<T>

All Implemented Interfaces:

Boundary<T>, Z3Boundary<T>

public abstract class Z3Form<T>
extends Form<T>
implements Z3Boundary<T>

Constructor Summary

Constructors

Constructor	Description
Z3Form()

Method Summary

Modifier and Type	Method	Description
abstract boolean	contains(T outer, T inner)
abstract long	getXMax(T object)
abstract long	getXMin(T object)
abstract long	getYMax(T object)
abstract long	getYMin(T object)
abstract long	getZMax(T object)
abstract long	getZMin(T object)
abstract boolean	intersects(T s, T t)
static <T> R3Form<T>	transformed(Z3Form<T> form, Z3ToR3Function function)

Methods inherited from class swim.structure.Form

cast, cast, forArray, forBigInteger, forBoolean, forBuiltin, forByte, forByteBuffer, forCharacter, forClass, forClass, forCollection, forDouble, forFloat, forInteger, forItem, forList, forLong, forMap, forMap, forNumber, forSet, forShort, forString, forValue, isBuiltin, mold, mold, tag, tag, type, unit, unit

Methods inherited from class java.lang.Object

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

Constructor Details

Z3Form

public Z3Form()

Method Details

getXMin

public abstract long getXMin(T object)

Specified by:

getXMin in interface Z3Boundary<T>

getYMin

public abstract long getYMin(T object)

Specified by:

getYMin in interface Z3Boundary<T>

getZMin

public abstract long getZMin(T object)

Specified by:

getZMin in interface Z3Boundary<T>

getXMax

public abstract long getXMax(T object)

Specified by:

getXMax in interface Z3Boundary<T>

getYMax

public abstract long getYMax(T object)

Specified by:

getYMax in interface Z3Boundary<T>

getZMax

public abstract long getZMax(T object)

Specified by:

getZMax in interface Z3Boundary<T>

contains

public abstract boolean contains(T outer,
 T inner)

Specified by:

contains in interface Boundary<T>

intersects

public abstract boolean intersects(T s,
 T t)

Specified by:

intersects in interface Boundary<T>

transformed

public static <T> R3Form<T> transformed(Z3Form<T> form,
 Z3ToR3Function function)