- All Known Subinterfaces:
Z3ToR3Operator
public interface Z3ToR3Function
-
Method Summary
Modifier and TypeMethodDescriptiondouble
transformX
(long x, long y, long z) double
transformY
(long x, long y, long z) double
transformZ
(long x, long y, long z)
-
Method Details
-
transformX
double transformX(long x, long y, long z) -
transformY
double transformY(long x, long y, long z) -
transformZ
double transformZ(long x, long y, long z)
-