-
- All Known Subinterfaces:
Z3ToR3Operator
public interface Z3ToR3Function
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description double
transformX(long x, long y, long z)
double
transformY(long x, long y, long z)
double
transformZ(long x, long y, long z)
-