August 2012 - PPL-devel - BUGSENG Mailman

Put the constraint (x!=0) to a Int64_Box ?
by Zell 13 Aug '12

13 Aug '12

Hi, all, What are we supposed to do if Int64_Box does not support the not_equal constraints? Int64_Box.add_constrain(x!-=0) does not work for me. PPL gives me: terminate called after throwing an instance of 'std::runtime_error' what(): PPL Java interface internal error I think this error is expected. What would be the work-around then ? (except putting x!=0 to ((x>=1) or (x<=-1)) ) Thanks. Zell.

2 1

Hi, the ppl from GIT does not have the 'configure' file.
by Zell 11 Aug '12

11 Aug '12

Hi, all, I don't find 'configure' in your PPL. (downloaded by GIT) Is that normal? Zell

2 4

[GIT] ppl/ppl(ppl-1_0-branch): Version number bumped.
by Roberto Bagnara 11 Aug '12

11 Aug '12

Module: ppl/ppl Branch: ppl-1_0-branch Commit: b909bcc5dc711a80c14a096d72f5c2964ddb8d35 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b909bcc5dc71… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 11 17:27:27 2012 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 906f679..86f92d2 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre1], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-1_0-branch): Added a few recent changes regarding the Java language interface.
by Enea Zaffanella 11 Aug '12

11 Aug '12

Module: ppl/ppl Branch: ppl-1_0-branch Commit: 7359bbdd37416988a4ac76220855f7687ac108fd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7359bbdd3741… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Aug 8 15:04:55 2012 +0200 Added a few recent changes regarding the Java language interface. --- NEWS | 24 ++++++++++++++++++++++++ 1 files changed, 24 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index fac7d33..0957671 100644 --- a/NEWS +++ b/NEWS @@ -9,6 +9,30 @@ Parma Polyhedra Library NEWS -- history of user-visible changes =============================================================== -------------------------------------------------------------------------- +NEWS for version 1.1 (released date to be decided) +-------------------------------------------------------------------------- + +New and Changed Features +======================== + +o In the Java language interface: + + - The constraint/generator/... system classes now extend the ArrayList + generic container (rather than Vector); + + - Variable objects are now built from a long (rather than int) value, + thereby matching the type used elsewhere for space dimensions; + + - added new static method to Variable class + void setStringifier(Variable_Stringifier) + where Variable_Stringifier is an interface allowing for + customization of the output routine for variable's names + (see example in interfaces/Java/tests/Variable_Output_test1.java); + + - added value NOT_EQUAL to enumeration Relation_Symbol. + + +-------------------------------------------------------------------------- NEWS for version 1.0 (released on June 28, 2012) --------------------------------------------------------------------------

1 0

[GIT] ppl/ppl(ppl-1_0-branch): A couple of changes to the Java interface:
by Enea Zaffanella 11 Aug '12

11 Aug '12

Module: ppl/ppl Branch: ppl-1_0-branch Commit: 9422ce4b5d5926f975a0b3d8c3c1d54f8ea85167 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9422ce4b5d59… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Aug 8 14:35:17 2012 +0200 A couple of changes to the Java interface: - Variable's id are of long type (like space dimension arguments); - added NOT_EQUAL value to enumeration Relation_Symbol. --- interfaces/Java/jni/ppl_java_common.cc | 6 ++++-- interfaces/Java/jni/ppl_java_globals.cc | 8 ++++---- .../Linear_Expression_Variable.java | 2 +- .../parma_polyhedra_library/Relation_Symbol.java | 4 +++- .../Java/parma_polyhedra_library/Variable.java | 13 +++++++++---- .../Variable_Stringifier.java | 2 +- .../Java/tests/Custom_Variable_Stringifier.java | 2 +- 7 files changed, 23 insertions(+), 14 deletions(-) diff --git a/interfaces/Java/jni/ppl_java_common.cc b/interfaces/Java/jni/ppl_java_common.cc index d97c53c..e4ffa6a 100644 --- a/interfaces/Java/jni/ppl_java_common.cc +++ b/interfaces/Java/jni/ppl_java_common.cc @@ -559,6 +559,8 @@ build_cxx_relsym(JNIEnv* env, jobject j_relsym) { return GREATER_OR_EQUAL; case 4: return GREATER_THAN; + case 5: + return NOT_EQUAL; default: PPL_JAVA_UNEXPECTED; } @@ -848,7 +850,7 @@ build_cxx_linear_expression(JNIEnv* env, jobject j_le) { if (env->IsAssignableFrom(current_class, cached_classes.Linear_Expression_Variable)) { jmethodID mID = cached_FMIDs.Linear_Expression_Variable_var_id_ID; - jint var_id = env->CallIntMethod(j_le, mID); + jlong var_id = env->CallLongMethod(j_le, mID); return Linear_Expression(Variable(var_id)); } // LE_Coefficient @@ -1225,7 +1227,7 @@ Java_Variable_output_function(std::ostream& s, Variable v) { // the corresponding method ID, so as to compare it with cached one. jclass dyn_class = env->GetObjectClass(stringifier); jmethodID dyn_mID = env->GetMethodID(dyn_class, "stringify", - "(I)Ljava/lang/String;"); + "(J)Ljava/lang/String;"); CHECK_RESULT_ASSERT(env, mID == dyn_mID); } #endif // #ifndef NDEBUG diff --git a/interfaces/Java/jni/ppl_java_globals.cc b/interfaces/Java/jni/ppl_java_globals.cc index a071be4..f6f519a 100644 --- a/interfaces/Java/jni/ppl_java_globals.cc +++ b/interfaces/Java/jni/ppl_java_globals.cc @@ -459,7 +459,7 @@ Java_parma_1polyhedra_1library_Linear_1Expression_1Variable_initIDs "(Lparma_polyhedra_library/Variable;)V"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Linear_Expression_Variable_init_ID = mID; - mID = env->GetMethodID(j_le_var_class, "var_id", "()I"); + mID = env->GetMethodID(j_le_var_class, "var_id", "()J"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Linear_Expression_Variable_var_id_ID = mID; } @@ -675,14 +675,14 @@ Java_parma_1polyhedra_1library_Bounded_1Integer_1Type_1Width_initIDs JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Variable_initIDs (JNIEnv* env, jclass j_variable_class) { - jfieldID fID = env->GetFieldID(j_variable_class, "varid", "I"); + jfieldID fID = env->GetFieldID(j_variable_class, "varid", "J"); CHECK_RESULT_ASSERT(env, fID); cached_FMIDs.Variable_varid_ID = fID; fID = env->GetStaticFieldID(j_variable_class, "stringifier", "Lparma_polyhedra_library/Variable_Stringifier;"); CHECK_RESULT_ASSERT(env, fID); cached_FMIDs.Variable_stringifier_ID = fID; - jmethodID mID = env->GetMethodID(j_variable_class, "<init>", "(I)V"); + jmethodID mID = env->GetMethodID(j_variable_class, "<init>", "(J)V"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Variable_init_ID = mID; } @@ -1285,7 +1285,7 @@ Java_parma_1polyhedra_1library_Variable_setStringifier CHECK_RESULT_ASSERT(env, vs_class); cached_classes.Variable_Stringifier = vs_class; jmethodID mID = env->GetMethodID(vs_class, "stringify", - "(I)Ljava/lang/String;"); + "(J)Ljava/lang/String;"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Variable_Stringifier_stringify_ID = mID; // Set C++ output function to the Java wrapper. diff --git a/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java b/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java index 80811a6..7eb5a8a 100644 --- a/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java +++ b/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java @@ -45,7 +45,7 @@ extends Linear_Expression { return new Linear_Expression_Variable(arg); } - private int var_id() { + private long var_id() { return arg.id(); } diff --git a/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java b/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java index b3de214..946ad1b 100644 --- a/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java +++ b/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java @@ -35,7 +35,9 @@ public enum Relation_Symbol { //! Greater than or equal to. GREATER_OR_EQUAL, //! Greater than. - GREATER_THAN; + GREATER_THAN, + //! Not equal to. + NOT_EQUAL; private static native void initIDs(); static { diff --git a/interfaces/Java/parma_polyhedra_library/Variable.java b/interfaces/Java/parma_polyhedra_library/Variable.java index ea13aa0..6a31cca 100644 --- a/interfaces/Java/parma_polyhedra_library/Variable.java +++ b/interfaces/Java/parma_polyhedra_library/Variable.java @@ -37,14 +37,14 @@ import javax.management.RuntimeErrorException; */ public class Variable implements Comparable<Variable> { //! The index of the Cartesian axis. - private int varid; + private long varid; //! Builds the variable corresponding to the Cartesian axis of index \p i. /*! \exception RuntimeErrorException Thrown if <CODE>i</CODE> is has negative value. */ - public Variable(int i) { + public Variable(long i) { if (i < 0) throw new RuntimeErrorException(new Error("parma_polyhedra_library.Variable::" @@ -55,7 +55,7 @@ public class Variable implements Comparable<Variable> { } //! Returns the index of the Cartesian axis associated to \p this. - public int id() { + public long id() { return varid; } @@ -65,7 +65,12 @@ public class Variable implements Comparable<Variable> { is greater than \p v. */ public int compareTo(Variable v) { - return varid - v.varid; + if (varid < v.varid) + return -1; + else if (varid == v.varid) + return 0; + else + return 1; } //! Optional customization provider for \c toString. diff --git a/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java b/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java index 67d6233..55110fd 100644 --- a/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java +++ b/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java @@ -29,5 +29,5 @@ package parma_polyhedra_library; method \c setStringifier. */ public interface Variable_Stringifier { - public String stringify(int var_id); + public String stringify(long var_id); } diff --git a/interfaces/Java/tests/Custom_Variable_Stringifier.java b/interfaces/Java/tests/Custom_Variable_Stringifier.java index f13e27c..93d6c43 100644 --- a/interfaces/Java/tests/Custom_Variable_Stringifier.java +++ b/interfaces/Java/tests/Custom_Variable_Stringifier.java @@ -23,7 +23,7 @@ site: http://bugseng.com/products/ppl/ . */ import parma_polyhedra_library.*; public class Custom_Variable_Stringifier implements Variable_Stringifier { - public String stringify(int var_id) { + public String stringify(long var_id) { return "Var_" + var_id; } }

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 11 Aug '12

11 Aug '12

Module: ppl/ppl Branch: master Commit: 72e6f15244b621b877eff29b1017fd7aa277adde URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72e6f15244b6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 11 17:27:27 2012 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 906f679..86f92d2 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre1], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

PPL's java interface
by Zell 08 Aug '12

08 Aug '12

Dear all, Sorry for disturbing you again. But I find two problems in PPL's Java interface. 1. It seems there is no support for " Relation_Symbol.NOT_EQUAL " http://bugseng.com/products/ppl/documentation//devref/ppl-devref-java-inter… 2. Variable.id() is of type 'int', but Box.space_dimension() is of type 'long'. I don't think this is intended because, if I understand correctly, each variable id corresponds to one space dimension, right? If I am not wrong, what would be the work-around? Thanks for your ideas. Zell.

2 1

[GIT] ppl/ppl(master): Added a few recent changes regarding the Java language interface.
by Enea Zaffanella 08 Aug '12

08 Aug '12

Module: ppl/ppl Branch: master Commit: 88cf8d3fe09f92b4ad6ab36245d0e705c22ed3bc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88cf8d3fe09f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Aug 8 15:04:55 2012 +0200 Added a few recent changes regarding the Java language interface. --- NEWS | 24 ++++++++++++++++++++++++ 1 files changed, 24 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index fac7d33..0957671 100644 --- a/NEWS +++ b/NEWS @@ -9,6 +9,30 @@ Parma Polyhedra Library NEWS -- history of user-visible changes =============================================================== -------------------------------------------------------------------------- +NEWS for version 1.1 (released date to be decided) +-------------------------------------------------------------------------- + +New and Changed Features +======================== + +o In the Java language interface: + + - The constraint/generator/... system classes now extend the ArrayList + generic container (rather than Vector); + + - Variable objects are now built from a long (rather than int) value, + thereby matching the type used elsewhere for space dimensions; + + - added new static method to Variable class + void setStringifier(Variable_Stringifier) + where Variable_Stringifier is an interface allowing for + customization of the output routine for variable's names + (see example in interfaces/Java/tests/Variable_Output_test1.java); + + - added value NOT_EQUAL to enumeration Relation_Symbol. + + +-------------------------------------------------------------------------- NEWS for version 1.0 (released on June 28, 2012) --------------------------------------------------------------------------

1 0

[GIT] ppl/ppl(master): A couple of changes to the Java interface:
by Enea Zaffanella 08 Aug '12

08 Aug '12

Module: ppl/ppl Branch: master Commit: dda4797dcd59ac3dd21d315e09aec8049620f3ad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dda4797dcd59… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Aug 8 14:35:17 2012 +0200 A couple of changes to the Java interface: - Variable's id are of long type (like space dimension arguments); - added NOT_EQUAL value to enumeration Relation_Symbol. --- interfaces/Java/jni/ppl_java_common.cc | 6 ++++-- interfaces/Java/jni/ppl_java_globals.cc | 8 ++++---- .../Linear_Expression_Variable.java | 2 +- .../parma_polyhedra_library/Relation_Symbol.java | 4 +++- .../Java/parma_polyhedra_library/Variable.java | 13 +++++++++---- .../Variable_Stringifier.java | 2 +- .../Java/tests/Custom_Variable_Stringifier.java | 2 +- 7 files changed, 23 insertions(+), 14 deletions(-) diff --git a/interfaces/Java/jni/ppl_java_common.cc b/interfaces/Java/jni/ppl_java_common.cc index d97c53c..e4ffa6a 100644 --- a/interfaces/Java/jni/ppl_java_common.cc +++ b/interfaces/Java/jni/ppl_java_common.cc @@ -559,6 +559,8 @@ build_cxx_relsym(JNIEnv* env, jobject j_relsym) { return GREATER_OR_EQUAL; case 4: return GREATER_THAN; + case 5: + return NOT_EQUAL; default: PPL_JAVA_UNEXPECTED; } @@ -848,7 +850,7 @@ build_cxx_linear_expression(JNIEnv* env, jobject j_le) { if (env->IsAssignableFrom(current_class, cached_classes.Linear_Expression_Variable)) { jmethodID mID = cached_FMIDs.Linear_Expression_Variable_var_id_ID; - jint var_id = env->CallIntMethod(j_le, mID); + jlong var_id = env->CallLongMethod(j_le, mID); return Linear_Expression(Variable(var_id)); } // LE_Coefficient @@ -1225,7 +1227,7 @@ Java_Variable_output_function(std::ostream& s, Variable v) { // the corresponding method ID, so as to compare it with cached one. jclass dyn_class = env->GetObjectClass(stringifier); jmethodID dyn_mID = env->GetMethodID(dyn_class, "stringify", - "(I)Ljava/lang/String;"); + "(J)Ljava/lang/String;"); CHECK_RESULT_ASSERT(env, mID == dyn_mID); } #endif // #ifndef NDEBUG diff --git a/interfaces/Java/jni/ppl_java_globals.cc b/interfaces/Java/jni/ppl_java_globals.cc index a071be4..f6f519a 100644 --- a/interfaces/Java/jni/ppl_java_globals.cc +++ b/interfaces/Java/jni/ppl_java_globals.cc @@ -459,7 +459,7 @@ Java_parma_1polyhedra_1library_Linear_1Expression_1Variable_initIDs "(Lparma_polyhedra_library/Variable;)V"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Linear_Expression_Variable_init_ID = mID; - mID = env->GetMethodID(j_le_var_class, "var_id", "()I"); + mID = env->GetMethodID(j_le_var_class, "var_id", "()J"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Linear_Expression_Variable_var_id_ID = mID; } @@ -675,14 +675,14 @@ Java_parma_1polyhedra_1library_Bounded_1Integer_1Type_1Width_initIDs JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Variable_initIDs (JNIEnv* env, jclass j_variable_class) { - jfieldID fID = env->GetFieldID(j_variable_class, "varid", "I"); + jfieldID fID = env->GetFieldID(j_variable_class, "varid", "J"); CHECK_RESULT_ASSERT(env, fID); cached_FMIDs.Variable_varid_ID = fID; fID = env->GetStaticFieldID(j_variable_class, "stringifier", "Lparma_polyhedra_library/Variable_Stringifier;"); CHECK_RESULT_ASSERT(env, fID); cached_FMIDs.Variable_stringifier_ID = fID; - jmethodID mID = env->GetMethodID(j_variable_class, "<init>", "(I)V"); + jmethodID mID = env->GetMethodID(j_variable_class, "<init>", "(J)V"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Variable_init_ID = mID; } @@ -1285,7 +1285,7 @@ Java_parma_1polyhedra_1library_Variable_setStringifier CHECK_RESULT_ASSERT(env, vs_class); cached_classes.Variable_Stringifier = vs_class; jmethodID mID = env->GetMethodID(vs_class, "stringify", - "(I)Ljava/lang/String;"); + "(J)Ljava/lang/String;"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Variable_Stringifier_stringify_ID = mID; // Set C++ output function to the Java wrapper. diff --git a/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java b/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java index 80811a6..7eb5a8a 100644 --- a/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java +++ b/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java @@ -45,7 +45,7 @@ extends Linear_Expression { return new Linear_Expression_Variable(arg); } - private int var_id() { + private long var_id() { return arg.id(); } diff --git a/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java b/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java index b3de214..946ad1b 100644 --- a/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java +++ b/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java @@ -35,7 +35,9 @@ public enum Relation_Symbol { //! Greater than or equal to. GREATER_OR_EQUAL, //! Greater than. - GREATER_THAN; + GREATER_THAN, + //! Not equal to. + NOT_EQUAL; private static native void initIDs(); static { diff --git a/interfaces/Java/parma_polyhedra_library/Variable.java b/interfaces/Java/parma_polyhedra_library/Variable.java index ea13aa0..6a31cca 100644 --- a/interfaces/Java/parma_polyhedra_library/Variable.java +++ b/interfaces/Java/parma_polyhedra_library/Variable.java @@ -37,14 +37,14 @@ import javax.management.RuntimeErrorException; */ public class Variable implements Comparable<Variable> { //! The index of the Cartesian axis. - private int varid; + private long varid; //! Builds the variable corresponding to the Cartesian axis of index \p i. /*! \exception RuntimeErrorException Thrown if <CODE>i</CODE> is has negative value. */ - public Variable(int i) { + public Variable(long i) { if (i < 0) throw new RuntimeErrorException(new Error("parma_polyhedra_library.Variable::" @@ -55,7 +55,7 @@ public class Variable implements Comparable<Variable> { } //! Returns the index of the Cartesian axis associated to \p this. - public int id() { + public long id() { return varid; } @@ -65,7 +65,12 @@ public class Variable implements Comparable<Variable> { is greater than \p v. */ public int compareTo(Variable v) { - return varid - v.varid; + if (varid < v.varid) + return -1; + else if (varid == v.varid) + return 0; + else + return 1; } //! Optional customization provider for \c toString. diff --git a/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java b/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java index 67d6233..55110fd 100644 --- a/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java +++ b/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java @@ -29,5 +29,5 @@ package parma_polyhedra_library; method \c setStringifier. */ public interface Variable_Stringifier { - public String stringify(int var_id); + public String stringify(long var_id); } diff --git a/interfaces/Java/tests/Custom_Variable_Stringifier.java b/interfaces/Java/tests/Custom_Variable_Stringifier.java index f13e27c..93d6c43 100644 --- a/interfaces/Java/tests/Custom_Variable_Stringifier.java +++ b/interfaces/Java/tests/Custom_Variable_Stringifier.java @@ -23,7 +23,7 @@ site: http://bugseng.com/products/ppl/ . */ import parma_polyhedra_library.*; public class Custom_Variable_Stringifier implements Variable_Stringifier { - public String stringify(int var_id) { + public String stringify(long var_id) { return "Var_" + var_id; } }

1 0

[GIT] ppl/ppl(ppl-1_0-branch): New commits
by Roberto Bagnara 08 Aug '12

08 Aug '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0be443d33fe… Merge: ae7b3951caad85edfd7215318f888ec80ebb162d da8fa48876106837ca3f30602a93228d28653183 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 8 08:38:06 2012 +0200 Merge branch 'master' into ppl-1_0-branch Conflicts: configure.ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da8fa4887610… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 8 08:36:38 2012 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a292feb89642… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 7 19:09:17 2012 +0200 Added test class Custom_Variable_Stringifier and corresponding example for testing customization of Variable output in the Java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af3298eea9b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 7 19:06:57 2012 +0200 Added native methods toString() and setStringifier() to class Variable. Implemented variable output function using the customizable stringifier. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cf8a120e0c2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 7 19:01:40 2012 +0200 Added Variable_Stringifier interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1773d4367793… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 7 18:56:44 2012 +0200 The default output function for Variable's objects made public. There is no actual reason to have it private: being public, we simplify the life of a user willing to set it back to default. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a754d5e27f2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 31 14:35:42 2012 +0200 Use ArrayList instead of Vector for (constraints, ...) systems in Java. Added a paragraph to the introduction of the user manual to stress that the PPL *_System classes extend ArrayList. While at it, removed many useless import directives. Also fixed a couple of indentation issues. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64802610e73c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 16:49:39 2012 +0200 Avoid a non-portable GNU Make idiom (using $< in a non-suffix rule context). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a29319f037b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jul 13 15:40:36 2012 +0200 Changed test04 to print more info when noisy.

1 0