August 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 08 Aug '12

08 Aug '12

Module: ppl/ppl Branch: master Commit: da8fa48876106837ca3f30602a93228d28653183 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. --- configure.ac | 2 +- src/Makefile.am | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index bf1cb8e..906f679 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.0pre1], [ppl-devel(a)cs.unipr.it] [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre1], [ppl-devel(a)cs.unipr.it] [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/src/Makefile.am b/src/Makefile.am index 6fb2c3f..c58356c 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -59,8 +59,9 @@ # 0.12 10:0:0 # 0.12.1 11:0:0 # 1.0 12:0:0 +# 1.1 13:0:0 -LIBPPL_LT_CURRENT = 12 +LIBPPL_LT_CURRENT = 13 LIBPPL_LT_REVISION = 0 LIBPPL_LT_AGE = 0

1 0

assign names to variables.
by Zell 07 Aug '12

07 Aug '12

Dear all, Is there a quick way to pretty-print a Box or Polyhedha object using my variables names rather than the build-in "A", "B", "C"...? For example, below are an interval analysis result for a single instruction "x=10". PPL uses its built-in names A,B,...for each dimension. ******************************* {true} x = 10 {A in 10} ******************************* I do not see how to assign a user-defined names for PPL's variable objects. Any ideas? Thanks. Zell.

2 1

[GIT] ppl/ppl(master): Added test class Custom_Variable_Stringifier and corresponding example
by Enea Zaffanella 07 Aug '12

07 Aug '12

Module: ppl/ppl Branch: master Commit: a292feb89642e2dcefa1f2092836ca6323e1cb50 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. --- .../Java/tests/Custom_Variable_Stringifier.java | 29 ++++++ interfaces/Java/tests/Makefile.am | 7 ++- interfaces/Java/tests/Variable_Output_test1.java | 94 ++++++++++++++++++++ 3 files changed, 129 insertions(+), 1 deletions(-) diff --git a/interfaces/Java/tests/Custom_Variable_Stringifier.java b/interfaces/Java/tests/Custom_Variable_Stringifier.java new file mode 100644 index 0000000..f13e27c --- /dev/null +++ b/interfaces/Java/tests/Custom_Variable_Stringifier.java @@ -0,0 +1,29 @@ +/* A class providing customized variable output for Java. + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . */ + +import parma_polyhedra_library.*; + +public class Custom_Variable_Stringifier implements Variable_Stringifier { + public String stringify(int var_id) { + return "Var_" + var_id; + } +} diff --git a/interfaces/Java/tests/Makefile.am b/interfaces/Java/tests/Makefile.am index 99c9f2d..62d182f 100644 --- a/interfaces/Java/tests/Makefile.am +++ b/interfaces/Java/tests/Makefile.am @@ -49,7 +49,9 @@ PIP_Problem_test1.java \ Parma_Polyhedra_Library_test1.java \ Parma_Polyhedra_Library_test2.java \ PPL_Test.java \ -ppl_java_tests_common +ppl_java_tests_common \ +Custom_Variable_Stringifier.java \ +Variable_Output_test1.java if ENABLE_SHARED @@ -62,6 +64,8 @@ MIP_Problem_test1.java \ PIP_Problem_test1.java \ Parma_Polyhedra_Library_test1.java \ Parma_Polyhedra_Library_test2.java \ +Custom_Variable_Stringifier.java \ +Variable_Output_test1.java \ PPL_Test.java CLASSPATH = ../ppl_java.jar:. @@ -88,6 +92,7 @@ check-local: ppl_java_generated_tests.java $(java_test_environment) PIP_Problem_test1 $(java_test_environment) Parma_Polyhedra_Library_test1 $(java_test_environment) Parma_Polyhedra_Library_test2 + $(java_test_environment) Variable_Output_test1 CLEANFILES = \ ppl_java_generated_tests.java diff --git a/interfaces/Java/tests/Variable_Output_test1.java b/interfaces/Java/tests/Variable_Output_test1.java new file mode 100644 index 0000000..addac43 --- /dev/null +++ b/interfaces/Java/tests/Variable_Output_test1.java @@ -0,0 +1,94 @@ +/* Test customization of variable output in Java. + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . */ + +import parma_polyhedra_library.*; + +public class Variable_Output_test1 { + static { + try { + System.loadLibrary("ppl_java"); + } + catch (UnsatisfiedLinkError e) { + System.out.println("Unable to load the library"); + System.out.println(e.getMessage()); + System.exit(-1); + } + } + + public static boolean test01() { + Variable A = new Variable(0); + Variable B = new Variable(1); + Variable C = new Variable(2); + Linear_Expression_Variable le_a = new Linear_Expression_Variable(A); + Coefficient coeff_1 = new Coefficient(1); + Linear_Expression le_1 = new Linear_Expression_Coefficient(coeff_1); + Constraint con + = new Constraint(le_a, Relation_Symbol.GREATER_OR_EQUAL, le_1); + C_Polyhedron ph = new C_Polyhedron(1, Degenerate_Element.UNIVERSE); + ph.add_constraint(con); + boolean ok = false; + + // Printing with default output function. + ok = (A.toString().equals("A") && + B.toString().equals("B") && + C.toString().equals("C") && + con.toString().equals("A >= 1") && + ph.toString().equals("A >= 1")); + if (!ok) + return false; + + // Changing output function to custom one. + Variable_Stringifier vs = new Custom_Variable_Stringifier(); + Variable.setStringifier(vs); + + ok = (A.toString().equals("Var_0") && + B.toString().equals("Var_1") && + C.toString().equals("Var_2") && + con.toString().equals("Var_0 >= 1") && + ph.toString().equals("Var_0 >= 1")); + if (!ok) + return false; + + // Restoring default output function. + Variable.setStringifier(null); + + ok = (A.toString().equals("A") && + B.toString().equals("B") && + C.toString().equals("C") && + con.toString().equals("A >= 1") && + ph.toString().equals("A >= 1")); + if (!ok) + return false; + + return ok; + } + + public static void main(String[] args) { + Parma_Polyhedra_Library.initialize_library(); + boolean test_result_ok = + Test_Executor.executeTests(Variable_Output_test1.class); + Parma_Polyhedra_Library.finalize_library(); + if (!test_result_ok) + System.exit(1); + System.exit(0); + } +}

1 0

[GIT] ppl/ppl(master): Added native methods toString() and setStringifier() to class Variable.
by Enea Zaffanella 07 Aug '12

07 Aug '12

Module: ppl/ppl Branch: master Commit: af3298eea9b68aaaada91f7d6af72d8d6520c215 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. --- interfaces/Java/jni/ppl_java_common.cc | 44 ++++++++++++++++++++ interfaces/Java/jni/ppl_java_common.defs.hh | 16 +++++++ interfaces/Java/jni/ppl_java_globals.cc | 42 +++++++++++++++++++ .../Java/parma_polyhedra_library/Makefile.am | 1 + .../Java/parma_polyhedra_library/Variable.java | 25 +++++++++-- 5 files changed, 123 insertions(+), 5 deletions(-) diff --git a/interfaces/Java/jni/ppl_java_common.cc b/interfaces/Java/jni/ppl_java_common.cc index b3447c3..d97c53c 100644 --- a/interfaces/Java/jni/ppl_java_common.cc +++ b/interfaces/Java/jni/ppl_java_common.cc @@ -34,6 +34,8 @@ Java_Class_Cache cached_classes; Java_FMID_Cache cached_FMIDs; Java_Class_Cache::Java_Class_Cache() { + // Java Virtual Machine pointer. + jvm = NULL; // Non-PPL classes. Boolean = NULL; Integer = NULL; @@ -75,6 +77,7 @@ Java_Class_Cache::Java_Class_Cache() { PPL_Object = NULL; Relation_Symbol = NULL; Variable = NULL; + Variable_Stringifier = NULL; Variables_Set = NULL; } @@ -93,6 +96,8 @@ Java_Class_Cache::init_cache(JNIEnv* env, jclass& field, const char* name) { void Java_Class_Cache::init_cache(JNIEnv* env) { assert(env != NULL); + // Java Virtual Machine pointer. + env->GetJavaVM(&jvm); // Non-PPL classes. init_cache(env, Boolean, "java/lang/Boolean"); init_cache(env, Integer, "java/lang/Integer"); @@ -155,6 +160,8 @@ Java_Class_Cache::init_cache(JNIEnv* env) { init_cache(env, PPL_Object, "parma_polyhedra_library/PPL_Object"); init_cache(env, Relation_Symbol, "parma_polyhedra_library/Relation_Symbol"); init_cache(env, Variable, "parma_polyhedra_library/Variable"); + // NOTE: initialization of concrete Variable_Stringifier is responsibility + // of static (native) method Variable.setStringifier. init_cache(env, Variables_Set, "parma_polyhedra_library/Variables_Set"); } @@ -170,6 +177,8 @@ Java_Class_Cache::clear_cache(JNIEnv* env, jclass& field) { void Java_Class_Cache::clear_cache(JNIEnv* env) { assert(env != NULL); + // Clearing the JVM pointer. + jvm = NULL; // Non-PPL classes. clear_cache(env, Boolean); clear_cache(env, Integer); @@ -209,6 +218,7 @@ Java_Class_Cache::clear_cache(JNIEnv* env) { clear_cache(env, PPL_Object); clear_cache(env, Relation_Symbol); clear_cache(env, Variable); + clear_cache(env, Variable_Stringifier); clear_cache(env, Variables_Set); } @@ -1195,6 +1205,40 @@ build_java_artificial_parameter return ret; } +void +Java_Variable_output_function(std::ostream& s, Variable v) { + // Use cached Java Virtual Machine pointer to retrieve JNI env. + JavaVM* jvm = cached_classes.jvm; + JNIEnv *env = 0; + jvm->AttachCurrentThread((void **)&env, NULL); + CHECK_EXCEPTION_ASSERT(env); + // Retrieve stringifier object. + jclass var_class = cached_classes.Variable; + jfieldID fID = cached_FMIDs.Variable_stringifier_ID; + jobject stringifier = env->GetStaticObjectField(var_class, fID); + CHECK_RESULT_THROW(env, stringifier); + // Use it to get the Java string for the variable. + jmethodID mID = cached_FMIDs.Variable_Stringifier_stringify_ID; +#ifndef NDEBUG + { + // Dynamically retrieve stringifier class and use it to compute + // 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;"); + CHECK_RESULT_ASSERT(env, mID == dyn_mID); + } +#endif // #ifndef NDEBUG + jstring bi_string + = (jstring) env->CallObjectMethod(stringifier, mID, v.id()); + CHECK_EXCEPTION_THROW(env); + // Convert the string and print it on C++ stream. + const char* nativeString = env->GetStringUTFChars(bi_string, 0); + CHECK_RESULT_THROW(env, nativeString); + s << nativeString; + env->ReleaseStringUTFChars(bi_string, nativeString); +} + } // namespace Java } // namespace Interfaces diff --git a/interfaces/Java/jni/ppl_java_common.defs.hh b/interfaces/Java/jni/ppl_java_common.defs.hh index 990d4f8..805c5e5 100644 --- a/interfaces/Java/jni/ppl_java_common.defs.hh +++ b/interfaces/Java/jni/ppl_java_common.defs.hh @@ -189,6 +189,8 @@ handle_exception(JNIEnv* env); */ class Java_Class_Cache { public: + // The Java VM pointer (not a class, but sometimes needed). + JavaVM* jvm; // Non-PPL types. jclass Boolean; jclass Integer; @@ -230,6 +232,7 @@ public: jclass PPL_Object; jclass Relation_Symbol; jclass Variable; + jclass Variable_Stringifier; jclass Variables_Set; //! Default constructor. @@ -400,7 +403,10 @@ struct Java_FMID_Cache { jmethodID Relation_Symbol_ordinal_ID; // Variable. jfieldID Variable_varid_ID; + jfieldID Variable_stringifier_ID; jmethodID Variable_init_ID; + // Variable_Stringifier. + jmethodID Variable_Stringifier_stringify_ID; // Variables_Set. jmethodID Variables_Set_init_ID; jmethodID Variables_Set_add_ID; @@ -622,6 +628,16 @@ jobject build_java_variable(JNIEnv* env, const Variable var); /*! \brief + The customizable variable output function for Java interface. + + Customization is obtained by providing an object implementing interface + <CODE>Variable_Stringifier</CODE> and attaching it to class + <CODE>Variable</CODE> using static method <CODE>setStringifier</CODE>. +*/ +void +Java_Variable_output_function(std::ostream& s, Variable v); + +/*! \brief Builds a C++ Coefficient from Java parma_polyhedra_library::Coefficient \p j_coeff. */ diff --git a/interfaces/Java/jni/ppl_java_globals.cc b/interfaces/Java/jni/ppl_java_globals.cc index 47b679a..a071be4 100644 --- a/interfaces/Java/jni/ppl_java_globals.cc +++ b/interfaces/Java/jni/ppl_java_globals.cc @@ -678,6 +678,10 @@ Java_parma_1polyhedra_1library_Variable_initIDs jfieldID fID = env->GetFieldID(j_variable_class, "varid", "I"); 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"); CHECK_RESULT_ASSERT(env, mID); cached_FMIDs.Variable_init_ID = mID; @@ -1252,6 +1256,44 @@ Java_parma_1polyhedra_1library_MIP_1Problem_ascii_1dump } JNIEXPORT jstring JNICALL +Java_parma_1polyhedra_1library_Variable_toString +(JNIEnv* env, jobject j_this) { + using namespace Parma_Polyhedra_Library::IO_Operators; + Variable ppl_var = build_cxx_variable(env, j_this); + std::ostringstream s; + s << ppl_var; + return env->NewStringUTF(s.str().c_str()); +} + +JNIEXPORT void JNICALL +Java_parma_1polyhedra_1library_Variable_setStringifier +(JNIEnv* env, jclass j_variable_class, jobject j_stringifier) { + // Store j_stringifier in the corresponding static field. + env->SetStaticObjectField(j_variable_class, + cached_FMIDs.Variable_stringifier_ID, + j_stringifier); + if (j_stringifier == NULL) { + // No stringifier object: reset cache values. + cached_classes.Variable_Stringifier = NULL; + cached_FMIDs.Variable_Stringifier_stringify_ID = NULL; + // Reset default C++ output function. + Variable::set_output_function(&Variable::default_output_function); + } + else { + // Update cache with values computed for concrete class. + jclass vs_class = env->GetObjectClass(j_stringifier); + CHECK_RESULT_ASSERT(env, vs_class); + cached_classes.Variable_Stringifier = vs_class; + jmethodID mID = env->GetMethodID(vs_class, "stringify", + "(I)Ljava/lang/String;"); + CHECK_RESULT_ASSERT(env, mID); + cached_FMIDs.Variable_Stringifier_stringify_ID = mID; + // Set C++ output function to the Java wrapper. + Variable::set_output_function(&Java_Variable_output_function); + } +} + +JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_toString (JNIEnv* env, jobject j_this) { using namespace Parma_Polyhedra_Library::IO_Operators; diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am index 7031ed5..1f848cf 100644 --- a/interfaces/Java/parma_polyhedra_library/Makefile.am +++ b/interfaces/Java/parma_polyhedra_library/Makefile.am @@ -186,6 +186,7 @@ $(srcdir)/PPL_Object.java \ $(srcdir)/Relation_Symbol.java \ $(srcdir)/Timeout_Exception.java \ $(srcdir)/Variable.java \ +$(srcdir)/Variable_Stringifier.java \ $(srcdir)/Variables_Set.java # NOTE: do _NOT_ add Fake_Class_for_Doxygen.java to this list. diff --git a/interfaces/Java/parma_polyhedra_library/Variable.java b/interfaces/Java/parma_polyhedra_library/Variable.java index 7d1d66f..ea13aa0 100644 --- a/interfaces/Java/parma_polyhedra_library/Variable.java +++ b/interfaces/Java/parma_polyhedra_library/Variable.java @@ -59,15 +59,30 @@ public class Variable implements Comparable<Variable> { return varid; } - /*! \brief - Returns a negative number if \p this comes first than \p v, - a zero if \p this equals \p v, a positive number if - if \p this comes first than \p v. - */ + /*! \brief + Returns a negative number if \p this is smaller than \p v, + a zero if \p this equals \p v, a positive number if \p v + is greater than \p v. + */ public int compareTo(Variable v) { return varid - v.varid; } + //! Optional customization provider for \c toString. + private static Variable_Stringifier stringifier; + + /*! \brief + Sets the variable stringifier object. + + A variable stringifier object provides customization for the + \c toString method; if no variable stringifier object is set + (or if it is set to a null refeerence value), the PPL default + variable output function will be used. + */ + public static native void setStringifier(Variable_Stringifier vs); + + public native String toString(); + private static native void initIDs(); static { initIDs();

1 0

[GIT] ppl/ppl(master): Added Variable_Stringifier interface.
by Enea Zaffanella 07 Aug '12

07 Aug '12

Module: ppl/ppl Branch: master Commit: 7cf8a120e0c217dac91df9501eb72528650ae985 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. --- .../Variable_Stringifier.java | 33 ++++++++++++++++++++ 1 files changed, 33 insertions(+), 0 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java b/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java new file mode 100644 index 0000000..67d6233 --- /dev/null +++ b/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java @@ -0,0 +1,33 @@ +/* Variable_Stringifier Java interface. + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . */ + +package parma_polyhedra_library; + +//! An interface for objects converting a Variable id to a string. +/*! \ingroup PPL_Java_interface + If customized variable output is required, the user should implement + this interface and pass a corresponding instance to Variable's static + method \c setStringifier. +*/ +public interface Variable_Stringifier { + public String stringify(int var_id); +}

1 0

[GIT] ppl/ppl(master): The default output function for Variable' s objects made public.
by Enea Zaffanella 07 Aug '12

07 Aug '12

Module: ppl/ppl Branch: master Commit: 1773d4367793972f5fee16587d829c73595c2bc2 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. --- src/Variable.defs.hh | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Variable.defs.hh b/src/Variable.defs.hh index 961415f..ca88c9f 100644 --- a/src/Variable.defs.hh +++ b/src/Variable.defs.hh @@ -117,6 +117,9 @@ public: //! Type of output functions. typedef void output_function_type(std::ostream& s, const Variable v); + //! The default output function. + static void default_output_function(std::ostream& s, const Variable v); + //! Sets the output function to be used for printing Variable objects. static void set_output_function(output_function_type* p); @@ -147,8 +150,6 @@ private: //! Pointer to the current output function. static output_function_type* current_output_function; - //! The default output function. - static void default_output_function(std::ostream& s, const Variable v); }; #include "Variable.inlines.hh"

1 0

Write constraints in JAVA interface as in C++ ?
by Zell 01 Aug '12

01 Aug '12

Hello, If I understand correctly, there is no support in JAVA interface to add constraints as easy as in C++, for example, in C++, cs.insert(B >= 0); cs.insert(A >= 0); cs.insert(B == 5); cs.insert(B <= 7); Otherwise, I do not see the domain Box in JAVA interface. What would be the instruction to enable it? (I am under Mac OS x, for information) Thanks. Zell.

2 3