Module swim.math

Package swim.math

Class Z3Vector

java.lang.Object

swim.math.Z3Vector

All Implemented Interfaces:

Debug

public class Z3Vector
extends Object
implements Debug

Field Summary

Fields

Modifier and Type	Field	Description
long	x
long	y
long	z

Constructor Summary

Constructors

Constructor	Description
Z3Vector(long x, long y, long z)

Method Summary

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 to output.
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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

x

public final long x

y

public final long y

z

public final long z

Constructor Detail

Z3Vector

public Z3Vector(long x,
                long y,
                long z)

Method Detail

plus

public final Z3Vector plus(Z3Vector that)

opposite

public final Z3Vector opposite()

minus

public final Z3Vector minus(Z3Vector that)

times

public final Z3Vector times(long scalar)

transform

public R3Vector transform(Z3ToR3Function f)

toValue

public Value toValue()

canEqual

protected boolean canEqual(Z3Vector that)

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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 to output.

Specified by:

debug in interface Debug

Returns:

the continuation of the output.

toString

public String toString()

Overrides:

toString in class Object

zero

public static Z3Vector zero()

of

public static Z3Vector of(long x,
                          long y,
                          long z)

form

@Kind
public static TensorForm<Z3Vector> form()