- java.lang.Object
-
- swim.math.Z3
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedZ3()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Z3Vectoradd(Z3Vector u, Z3Vector v)Z3Vectorcombine(Long a, Z3Vector u, Long b, Z3Vector v)<T> Output<T>debug(Output<T> output)Writes a developer readable, debug-formatted string representation of this object tooutput.LonggetX(Z3Vector v)LonggetY(Z3Vector v)LonggetZ(Z3Vector v)static Z3module()Z3Vectormultiply(Z3Vector u, Long a)Z3Vectorof(Long x, Long y, Long z)Z3Vectoropposite(Z3Vector v)Zscalar()Z3Vectorsubtract(Z3Vector u, Z3Vector v)StringtoString()Z3Vectorzero()
-
-
-
Method Detail
-
scalar
public final Z scalar()
- Specified by:
scalarin interfaceVectorModule<Z3Vector,Long>
-
zero
public final Z3Vector zero()
- Specified by:
zeroin interfaceVectorModule<Z3Vector,Long>
-
add
public final Z3Vector add(Z3Vector u, Z3Vector v)
- Specified by:
addin interfaceVectorModule<Z3Vector,Long>
-
opposite
public final Z3Vector opposite(Z3Vector v)
- Specified by:
oppositein interfaceVectorModule<Z3Vector,Long>
-
subtract
public final Z3Vector subtract(Z3Vector u, Z3Vector v)
- Specified by:
subtractin interfaceVectorModule<Z3Vector,Long>
-
multiply
public final Z3Vector multiply(Z3Vector u, Long a)
- Specified by:
multiplyin interfaceVectorModule<Z3Vector,Long>
-
combine
public final Z3Vector combine(Long a, Z3Vector u, Long b, Z3Vector v)
- Specified by:
combinein interfaceVectorModule<Z3Vector,Long>
-
debug
public <T> Output<T> debug(Output<T> output)
Description copied from interface:DebugWrites a developer readable, debug-formatted string representation of this object tooutput.
-
module
public static Z3 module()
-
-