| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Math
JPF_java_lang_Math | public class JPF_java_lang_Math (Code) | | MJI NativePeer class for java.lang.Math library abstraction
|
Method Summary | |
public static double | abs__D(MJIEnv env, int clsObjRef, double a) | public static float | abs__F(MJIEnv env, int clsObjRef, float a) | public static int | abs__I(MJIEnv env, int clsObjRef, int a) | public static long | abs__J(MJIEnv env, int clsObjRef, long a) | public static double | acos__D(MJIEnv env, int clsObjRef, double a) | public static double | asin__D(MJIEnv env, int clsObjRef, double a) | public static double | atan2__DD(MJIEnv env, int clsObjRef, double a, double b) | public static double | atan__D(MJIEnv env, int clsObjRef, double a) | public static double | ceil__D(MJIEnv env, int clsObjRef, double a) | public static double | cos__D(MJIEnv env, int clsObjRef, double a) | public static double | exp__D(MJIEnv env, int clsObjRef, double a) | public static double | floor__D(MJIEnv env, int clsObjRef, double a) | public static double | log__D(MJIEnv env, int clsObjRef, double a) | public static double | max__DD(MJIEnv env, int clsObjRef, double a, double b) | public static float | max__FF(MJIEnv env, int clsObjRef, float a, float b) | public static int | max__II(MJIEnv env, int clsObjRef, int a, int b) | public static long | max__JJ(MJIEnv env, int clsObjRef, long a, long b) | public static double | min__DD(MJIEnv env, int clsObjRef, double a, double b) | public static float | min__FF(MJIEnv env, int clsObjRef, float a, float b) | public static int | min__II(MJIEnv env, int clsObjRef, int a, int b) | public static long | min__JJ(MJIEnv env, int clsObjRef, long a, long b) | public static double | pow__DD(MJIEnv env, int clsObjRef, double a, double b) | public static double | random__(MJIEnv env, int clsObjRef) | public static double | rint__D(MJIEnv env, int clsObjRef, double a) | public static double | sin__D(MJIEnv env, int clsObjRef, double a) | public static double | sqrt__D(MJIEnv env, int clsObjRef, double a) | public static double | tan__D(MJIEnv env, int clsObjRef, double a) |
abs__D | public static double abs__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
abs__F | public static float abs__F(MJIEnv env, int clsObjRef, float a)(Code) | | |
abs__I | public static int abs__I(MJIEnv env, int clsObjRef, int a)(Code) | | |
abs__J | public static long abs__J(MJIEnv env, int clsObjRef, long a)(Code) | | |
acos__D | public static double acos__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
asin__D | public static double asin__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
atan2__DD | public static double atan2__DD(MJIEnv env, int clsObjRef, double a, double b)(Code) | | |
atan__D | public static double atan__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
ceil__D | public static double ceil__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
cos__D | public static double cos__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
exp__D | public static double exp__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
floor__D | public static double floor__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
log__D | public static double log__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
max__DD | public static double max__DD(MJIEnv env, int clsObjRef, double a, double b)(Code) | | |
max__FF | public static float max__FF(MJIEnv env, int clsObjRef, float a, float b)(Code) | | |
max__II | public static int max__II(MJIEnv env, int clsObjRef, int a, int b)(Code) | | |
max__JJ | public static long max__JJ(MJIEnv env, int clsObjRef, long a, long b)(Code) | | |
min__DD | public static double min__DD(MJIEnv env, int clsObjRef, double a, double b)(Code) | | |
min__FF | public static float min__FF(MJIEnv env, int clsObjRef, float a, float b)(Code) | | |
min__II | public static int min__II(MJIEnv env, int clsObjRef, int a, int b)(Code) | | |
min__JJ | public static long min__JJ(MJIEnv env, int clsObjRef, long a, long b)(Code) | | |
pow__DD | public static double pow__DD(MJIEnv env, int clsObjRef, double a, double b)(Code) | | |
random__ | public static double random__(MJIEnv env, int clsObjRef)(Code) | | |
rint__D | public static double rint__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
sin__D | public static double sin__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
sqrt__D | public static double sqrt__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
tan__D | public static double tan__D(MJIEnv env, int clsObjRef, double a)(Code) | | |
|
|