Module: ppl/ppl Branch: termination Commit: e1fbc0fec962a1285ec4205fc611387f1a8e5c45 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1fbc0fec962a...
Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sat Mar 20 16:51:42 2010 +0000
Added Java interface for Linear_Expression::is_zero() and Linear_Expression::all_homogeneous_terms_are_zero().
---
interfaces/Java/jni/ppl_java_globals.cc | 16 ++++++++++++++++ .../parma_polyhedra_library/Linear_Expression.java | 8 ++++++++ 2 files changed, 24 insertions(+), 0 deletions(-)
diff --git a/interfaces/Java/jni/ppl_java_globals.cc b/interfaces/Java/jni/ppl_java_globals.cc index c6c80ac..b4de11f 100644 --- a/interfaces/Java/jni/ppl_java_globals.cc +++ b/interfaces/Java/jni/ppl_java_globals.cc @@ -450,6 +450,22 @@ Java_parma_1polyhedra_1library_Linear_1Expression_1Variable_initIDs cached_FMIDs.Linear_Expression_Variable_var_id_ID = mID; }
+JNIEXPORT jboolean JNICALL +Java_parma_1polyhedra_1library_Linear_1Expression_is_1zero +(JNIEnv* env, jobject j_this) try { + Linear_Expression* this_ptr = &build_cxx_linear_expression(env, j_this); + return this_ptr->is_zero(); +} +CATCH_ALL + +JNIEXPORT jboolean JNICALL +Java_parma_1polyhedra_1library_Linear_1Expression_all_1homogeneous_1terms_1are_1zero +(JNIEnv* env, jobject j_this) try { + Linear_Expression* this_ptr = &build_cxx_linear_expression(env, j_this); + return this_ptr->all_homogeneous_terms_are_zero(); +} +CATCH_ALL + JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_1Status_initIDs (JNIEnv* env, jclass j_mip_status_class) { diff --git a/interfaces/Java/parma_polyhedra_library/Linear_Expression.java b/interfaces/Java/parma_polyhedra_library/Linear_Expression.java index ba95a42..24f3ea9 100644 --- a/interfaces/Java/parma_polyhedra_library/Linear_Expression.java +++ b/interfaces/Java/parma_polyhedra_library/Linear_Expression.java @@ -63,6 +63,14 @@ public abstract class Linear_Expression implements Cloneable { //! Returns a string representation of \p this. public native String toString();
+ //! Returns <CODE>true</CODE> if and only if \p *this is \f$0\f$. + public native boolean is_zero(); + + /*! \brief Returns <CODE>true</CODE> if and only if all the homogeneous + terms of \p *this are \f$0\f$. + */ + public native boolean all_homogeneous_terms_are_zero(); + private static native void initIDs(); static { initIDs();