Home
last modified time | relevance | path

Searched refs:jniIsBool (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/
H A DFlag.java8 private static native boolean jniIsBool(Object Flag) throws Cvc3Exception; in jniIsBool() method in Flag
33 return jniIsBool(embedded()); in isBool()
H A DType.java12 jniIsBool(Object Type) throws Cvc3Exception; in jniIsBool() method in Type
62 return jniIsBool(embedded()); in isBoolean()
/dports/math/cvc3/cvc3-2.4.1/java/
H A DREADME308 private static native boolean jniIsBool(Object Type);
317 return jniIsBool(embedded());
322 implements jniIsBool to call isBool on the given Type object