- java.lang.Object
-
- swim.math.Z3Vector
-
-
Constructor Summary
Constructors Constructor Description Z3Vector(long x, long y, long z)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description protected boolean
canEqual(Z3Vector that)
<T> Output<T>
debug(Output<T> output)
Writes a developer readable, debug-formatted string representation of this object tooutput
.boolean
equals(Object other)
static TensorForm<Z3Vector>
form()
int
hashCode()
Z3Vector
minus(Z3Vector that)
static Z3Vector
of(long x, long y, long z)
Z3Vector
opposite()
Z3Vector
plus(Z3Vector that)
Z3Vector
times(long scalar)
String
toString()
Value
toValue()
R3Vector
transform(Z3ToR3Function f)
static Z3Vector
zero()
-
-
-
Method Detail
-
opposite
public final Z3Vector opposite()
-
times
public final Z3Vector times(long scalar)
-
transform
public R3Vector transform(Z3ToR3Function f)
-
toValue
public Value toValue()
-
canEqual
protected boolean canEqual(Z3Vector that)
-
debug
public <T> Output<T> debug(Output<T> output)
Description copied from interface:Debug
Writes a developer readable, debug-formatted string representation of this object tooutput
.
-
zero
public static Z3Vector zero()
-
of
public static Z3Vector of(long x, long y, long z)
-
form
@Kind public static TensorForm<Z3Vector> form()
-
-