| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Float
JPF_java_lang_Float | public class JPF_java_lang_Float (Code) | | MJI NativePeer class for java.lang.Float library abstraction
|
Method Summary | |
public static int | floatToIntBits(MJIEnv env, int rcls, float v0) | public static int | floatToRawIntBits(MJIEnv env, int rcls, float v0) | public static float | intBitsToFloat(MJIEnv env, int rcls, int v0) | public static boolean | isInfinite__D(MJIEnv env, int rcls, float v) | public static boolean | isNaN__D(MJIEnv env, int rcls, float v) |
floatToIntBits | public static int floatToIntBits(MJIEnv env, int rcls, float v0)(Code) | | |
floatToRawIntBits | public static int floatToRawIntBits(MJIEnv env, int rcls, float v0)(Code) | | |
intBitsToFloat | public static float intBitsToFloat(MJIEnv env, int rcls, int v0)(Code) | | |
isInfinite__D | public static boolean isInfinite__D(MJIEnv env, int rcls, float v)(Code) | | |
isNaN__D | public static boolean isNaN__D(MJIEnv env, int rcls, float v)(Code) | | |
|
|