[PPL-devel] [GIT] ppl/ppl(termination): Added Java interface for Linear_Expression:: is_zero() and

[Patricia Hill]

Module: ppl/ppl
Branch: termination
Commit: e1fbc0fec962a1285ec4205fc611387f1a8e5c45
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1fbc0fec962a1285ec4205fc611387f1a8e5c45

Author: Patricia Hill <p.m.hill at 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();