public abstract class Z3Form<T>
extends swim.structure.Form<T>
implements Z3Boundary<T>

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
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

public abstract boolean contains(T outer,
                                 T inner)

public abstract boolean intersects(T s,
                                   T t)

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

Class Z3Form<T>