- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added std:: logic_error to the list of exceptions caught.
by Patricia Hill 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: master Commit: 0cf98127510beb73d5d9f8a5fbb72c8c1b740853 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cf98127510b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 15:08:15 2010 +0000 Added std::logic_error to the list of exceptions caught. --- interfaces/OCaml/ppl_ocaml_common.defs.hh | 4 ++++ interfaces/Prolog/ppl_prolog_common.defs.hh | 3 +++ 2 files changed, 7 insertions(+), 0 deletions(-) diff --git a/interfaces/OCaml/ppl_ocaml_common.defs.hh b/interfaces/OCaml/ppl_ocaml_common.defs.hh index fde6a8e..db969a8 100644 --- a/interfaces/OCaml/ppl_ocaml_common.defs.hh +++ b/interfaces/OCaml/ppl_ocaml_common.defs.hh @@ -209,6 +209,10 @@ catch(std::exception& e) { \ caml_raise_with_string(*caml_named_value("PPL_unknown_standard_exception"), \ (const_cast<char*>(e.what()))); \ } \ +catch(std::logic_error& e) { \ + caml_raise_with_string(*caml_named_value("PPL_logic_error"), \ + (const_cast<char*>(e.what()))); \ +} \ catch(timeout_exception&) { \ reset_timeout(); \ caml_raise_constant(*caml_named_value("PPL_timeout_exception")); \ diff --git a/interfaces/Prolog/ppl_prolog_common.defs.hh b/interfaces/Prolog/ppl_prolog_common.defs.hh index 33af32d..bb3e245 100644 --- a/interfaces/Prolog/ppl_prolog_common.defs.hh +++ b/interfaces/Prolog/ppl_prolog_common.defs.hh @@ -513,6 +513,9 @@ handle_exception(const deterministic_timeout_exception&); catch (const std::exception& e) { \ handle_exception(e); \ } \ + catch (const std::logic_error& e) { \ + handle_exception(e); \ + } \ catch (...) { \ handle_exception(); \ } \

1 0

[GIT] ppl/ppl(termination): Added Java interface for Linear_Expression:: is_zero() and
by Patricia Hill 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: termination Commit: e1fbc0fec962a1285ec4205fc611387f1a8e5c45 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1fbc0fec962… Author: Patricia Hill <p.m.hill(a)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();

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 20 Mar '10

20 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=982473d3d50f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 20 16:22:36 2010 +0100 MIP_Problem: fix border case handling in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5a89bc5e15… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 20 15:54:51 2010 +0100 MIP_Problem: little optimizations to linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d400a33ef77… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 20 15:51:52 2010 +0100 MIP_Problem: use get() instead of operator[], in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf3446d68d9e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 20 15:46:29 2010 +0100 MIP_Problem: add comment in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf138ef5412e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 20 15:36:06 2010 +0100 MIP_Problem: don't check an always false condition in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe97f2c6b8ed… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 20 15:26:36 2010 +0100 MIP_Problem: little optimizations in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93dd7d9bcf33… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 20 15:13:12 2010 +0100 MIP_Problem: use only one temporary instead of a vector of temporaries, in steepest_edge_exact_entering_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97d2b4c165ec… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Mar 20 15:05:20 2010 +0100 MIP_Problem: don't uselessly call sqrt() in steepest_edge_float_entering_index().

1 0

[GIT] ppl/ppl(termination): Added some of the Java interface code needed for the termination
by Patricia Hill 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: termination Commit: e5dc0a6af950c7dfe2ada7bcca91d6a67d15b367 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5dc0a6af950… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Mar 20 14:27:17 2010 +0000 Added some of the Java interface code needed for the termination methods. --- ...ppl_interface_generator_java_classes_cc_code.m4 | 18 ++++++++++++++++++ ...pl_interface_generator_java_classes_cc_files.m4 | 14 ++++++++++++++ .../Java/parma_polyhedra_library/Makefile.am | 7 ++++--- .../Parma_Polyhedra_Library.java | 4 ++++ .../ppl_interface_generator_java_classes_java.m4 | 19 ++++++++++++++++++- ...l_interface_generator_java_classes_java_code.m4 | 7 +++---- 6 files changed, 61 insertions(+), 8 deletions(-) diff --git a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 index b6aed73..dcc850b 100644 --- a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 +++ b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 @@ -1285,3 +1285,21 @@ Java_parma_1polyhedra_1library_@1CLASS@_approximate_1@PARTITION@ } ') + +m4_define(`ppl_termination_test_@TERMINATION_ID@_@TOPOLOGY@@CLASS@_code', +`dnl +___END_OF_FILE___ +___BEGIN_OF_FILE___ Termination.cc << ___END_OF_FILE___ + +JNIEXPORT jboolean JNICALL +Java_parma_1polyhedra_1library_termination_1test_1MS_1@TOPOLOGY@1@CLASS@ +(JNIEnv* env, jclass, jobject j_p) { + try { + @TOPOLOGY@@CLASS@* p_ptr + = reinterpret_cast<@TOPOLOGY@@CLASS@*>(get_ptr(env, j_p)); + return termination_test_MS(*p_ptr); + } + CATCH_ALL; + return 0; +} +') diff --git a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4 b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4 index eb35c89..6ec6688 100644 --- a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4 +++ b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4 @@ -41,6 +41,20 @@ dnl ----------------------------------------------------------------- dnl Ensure any schematic procedure macro that is not defined dnl in the code file outputs a warning message. m4_define(`m4_default_code', `m4_dumpdef($1`'_code)') +m4_divert +___END_OF_FILE___ +___BEGIN_OF_FILE___ Termination.cc << ___END_OF_FILE___ +/* Java Termination interface code. +m4_include(`ppl_interface_generator_copyright')`'dnl +*/ + +`#'include "ppl_java_common.defs.hh" +`#'include "parma_polyhedra_library_Termination.h" +`#'include "parma_polyhedra_library_C_Polyhedron.h" +`#'include "parma_polyhedra_library_NNC_Polyhedron.h" +using namespace Parma_Polyhedra_Library; +using namespace Parma_Polyhedra_Library::Interfaces::Java; + dnl m4_pre_extra_class_code(Class, CPP_Class, Class_Kind) dnl Prefix extra code for each class. m4_define(`m4_pre_extra_class_code', `dnl diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am index a120f0c..20f8389 100644 --- a/interfaces/Java/parma_polyhedra_library/Makefile.am +++ b/interfaces/Java/parma_polyhedra_library/Makefile.am @@ -159,7 +159,8 @@ $(srcdir)/Variables_Set.java # NOTE: do _NOT_ add Fake_Class_for_Doxygen.java to this list. all_java_sources = \ $(fixed_java_sources) \ -$(required_instantiations_java_sources) +$(required_instantiations_java_sources) \ +Termination.java # NOTE: Fake_Class_for_Doxygen.java should be added here. EXTRA_DIST = \ @@ -188,8 +189,8 @@ java_classes.stamp: $(all_java_sources) java_cxx_headers.stamp: java_classes.stamp $(JAVAH) -classpath .. \ - $(fixed_java_cxx_headers) \ - $(required_instantiations_java_cxx_headers) + $(fixed_java_cxx_headers) \ + $(required_instantiations_java_cxx_headers) echo timestamp >$@ source_generation.stamp: $(interface_generator_dependencies) diff --git a/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java b/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java index e1738da..9c99cc1 100644 --- a/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java +++ b/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java @@ -190,6 +190,10 @@ public class Parma_Polyhedra_Library { information. */ public static native String banner(); +/* + public static native boolean + ppl_Termination_MS(C_Polyhedron p); +*/ //@} // Version Checking diff --git a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 index 618f69c..5588db0 100644 --- a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 +++ b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 @@ -33,6 +33,18 @@ dnl Ensure any schematic procedure macro that is not defined dnl in the code file outputs a warning message. m4_define(`m4_default_code', `m4_dumpdef($1`'_code)') +m4_divert +___END_OF_FILE___ +___BEGIN_OF_FILE___ Termination.java << ___END_OF_FILE___ +/* PPL Java interface: Termination definition. +m4_include(`ppl_interface_generator_copyright')`'dnl +*/ + +package parma_polyhedra_library; +public class Termination {`'dnl + +m4_divert(-1) + dnl m4_pre_extra_class_code(Class, CPP_Class, Class_Kind) dnl Prefix extra code for each class. m4_define(`m4_pre_extra_class_code', `dnl @@ -150,5 +162,10 @@ m4_divert`'dnl m4_all_code`'dnl ___END_OF_FILE___ m4_divert(-1) - +m4_divert +___END_OF_FILE___ +___BEGIN_OF_FILE___ Termination.java << ___END_OF_FILE___ +} +___END_OF_FILE___ +m4_divert(-1) dnl End of file generation. diff --git a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 index 9bce7b2..295ed7f 100644 --- a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 +++ b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 @@ -655,8 +655,7 @@ ___BEGIN_OF_FILE___ @CLASS@.java << ___END_OF_FILE___ m4_define(`ppl_termination_test_@TERMINATION_ID@_@TOPOLOGY@@CLASS@_code', `dnl ___END_OF_FILE___ -___BEGIN_OF_FILE___ @CLASS@.java << ___END_OF_FILE___ - public native boolean - termination_test_@TERMINATION_ID@_@TOPOLOGY@@CLASS@(@TOPOLOGY@@CLASS@ arg); - +___BEGIN_OF_FILE___ Termination.java << ___END_OF_FILE___ + public static native boolean + ppl_termination_test_MS_@TOPOLOGY@@CLASS@(@TOPOLOGY@@CLASS@ p); ')

1 0

[GIT] ppl/ppl(master): Added a test generating a solution node with two context constraints.
by François Galea 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: master Commit: ca9a894625c3c0251d4b429ffbfe1c5c07846321 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca9a894625c3… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sat Mar 20 11:41:44 2010 +0100 Added a test generating a solution node with two context constraints. --- tests/PIP_Problem/pipproblem1.cc | 26 ++++++++++++++++++++++++++ 1 files changed, 26 insertions(+), 0 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index 438663e..fc35a16 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -755,6 +755,31 @@ test25() { return ok; } +bool +test26() { + // Problem generating a solution node with two context constraints. + Variable x(0); + Variable y(1); + Variable p(2); + Variable q(3); + Variables_Set params(p, q); + + Constraint_System cs; + cs.insert(x + p <= 2); + cs.insert(y + q <= 1); + + PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); + + bool ok = (pip.solve() == OPTIMIZED_PIP_PROBLEM); + if (ok) { + const PIP_Tree solution = pip.solution(); + ok &= solution->OK(); + pip.print_solution(nout); + } + + return ok; +} + } // namespace BEGIN_MAIN @@ -783,4 +808,5 @@ BEGIN_MAIN DO_TEST_F8(test23); DO_TEST(test24); DO_TEST(test25); + DO_TEST(test26); END_MAIN

1 0

[GIT] ppl/ppl(master): Added two paragraphs about uses of the big parameter in the documentation.
by François Galea 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: master Commit: 65156364caa2da7235862998930736ca27c83236 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65156364caa2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Mar 9 20:28:29 2010 +0100 Added two paragraphs about uses of the big parameter in the documentation. --- src/PIP_Problem.defs.hh | 35 ++++++++++++++++++++++++++++++++++- 1 files changed, 34 insertions(+), 1 deletions(-) diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index 0f29afb..4def1e5 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -316,7 +316,40 @@ operator<<(std::ostream& s, const PIP_Problem& p); will be defined in terms of all the parameters (problem parameters and artificial parameters defined along the path). - FIXME: different uses of the big parameter. + \par Solving maximization problems + You can solve a lexicographic maximization problem by reformulating its + constraints using variable substitution. Proceed the following steps: + - Create a big parameter (see PIP_Problem::set_big_parameter_dimension), + which we will call \f$M\f$. + - Reformulate each of the maximization problem constraints by + substituting each \f$x_i\f$ variable with an expression of the form + \f$M-x'_i\f$, where the \f$x'_i\f$ variables are to be minimized. + - Solve the lexicographic minimum for the \f$x'\f$ variable vector. + - In the solution expressions, substitute each \f$x'_i\f$ variable back + to \f$M-x_i\f$. + + You can choose to maximize only a subset of the variables while minimizing + the other variables. In that case, just apply the variable substitution + method on the variables you want to be maximized. The variable + optimization priority will still be in lexicographic order. + + \par Allowing variables to be arbitrarily signed + You can deal with arbitrarily signed variables by reformulating the + constraints using variable substitution. Proceed the following steps: + - Create a big parameter (see PIP_Problem::set_big_parameter_dimension), + which we will call \f$M\f$. + - Reformulate each of the maximization problem constraints by + substituting each \f$x_i\f$ variable with an expression of the form + \f$M+x'_i\f$, where the \f$x'_i\f$ variables are positive. + - Solve the lexicographic minimum for the \f$x'\f$ variable vector. + - In the solution expressions, substitute each \f$x'_i\f$ variable back + to \f$x_i-M\f$. + + You can choose to define only a subset of the variables to be + sign-unrestricted. In that case, just apply the variable substitution + method on the variables you want to be sign-unrestricted. + + FIXME: Solving problems with arbitrarily signed parameters */ class Parma_Polyhedra_Library::PIP_Problem { public:

2 4

[GIT] ppl/ppl(termination): Version number bumped.
by Roberto Bagnara 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: termination Commit: d9f74236c2727ad4f4753baa73ddd6ff6b1546f1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9f74236c272… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:33:13 2010 +0400 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 6909a88..dcab740 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,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], [0.11pre15], [ppl-devel(a)cs.unipr.it] [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre16], [ppl-devel(a)cs.unipr.it] [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Merge branch 'master' into products
by Roberto Bagnara 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: master Commit: 42a77adddb8e0a7223d6dd17b7b0916660411800 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42a77adddb8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:27:47 2010 +0400 Merge branch 'master' into products ---

1 0

[GIT] ppl/ppl(master): Test changed so as to be meaningful for all integer types.
by Patricia Hill 20 Mar '10

20 Mar '10

Module: ppl/ppl Branch: master Commit: 367f75cf57a1576f54c0bf553c714e838d8c1773 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367f75cf57a1… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 16:27:50 2010 +0000 Test changed so as to be meaningful for all integer types. Comment typos fixed. --- src/BD_Shape.defs.hh | 4 ++-- src/Box.defs.hh | 4 ++-- src/Octagonal_Shape.defs.hh | 4 ++-- src/Polyhedron.defs.hh | 4 ++-- tests/Box/frequency1.cc | 6 +++--- 5 files changed, 11 insertions(+), 11 deletions(-) diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh index 2b3100f..2375211 100644 --- a/src/BD_Shape.defs.hh +++ b/src/BD_Shape.defs.hh @@ -766,11 +766,11 @@ public: The denominator of the maximum frequency of \p expr; \param val_n - The numerator of a value of \p expr at a point in the grid + The numerator of a value of \p expr at a point in the bd_shape that is closest to zero; \param val_d - The denominator of a value of \p expr at a point in the grid + The denominator of a value of \p expr at a point in the bd_shape that is closest to zero; \exception std::invalid_argument diff --git a/src/Box.defs.hh b/src/Box.defs.hh index 8ed2680..55f5aab 100644 --- a/src/Box.defs.hh +++ b/src/Box.defs.hh @@ -697,11 +697,11 @@ public: The denominator of the maximum frequency of \p expr; \param val_n - The numerator of a value of \p expr at a point in the grid + The numerator of a value of \p expr at a point in the box that is closest to zero; \param val_d - The denominator of a value of \p expr at a point in the grid + The denominator of a value of \p expr at a point in the box that is closest to zero; \exception std::invalid_argument diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index 06bdc14..6f59b71 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -854,11 +854,11 @@ public: The denominator of the maximum frequency of \p expr; \param val_n - The numerator of a value of \p expr at a point in the grid + The numerator of a value of \p expr at a point in the octagonal shape that is closest to zero; \param val_d - The denominator of a value of \p expr at a point in the grid + The denominator of a value of \p expr at a point in the octagonal shape that is closest to zero; \exception std::invalid_argument diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 8d8679c..52f6bb2 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -779,11 +779,11 @@ public: The denominator of the maximum frequency of \p expr; \param val_n - The numerator of a value of \p expr at a point in the grid + The numerator of a value of \p expr at a point in the polyhedron that is closest to zero; \param val_d - The denominator of a value of \p expr at a point in the grid + The denominator of a value of \p expr at a point in the polyhedron that is closest to zero; \exception std::invalid_argument diff --git a/tests/Box/frequency1.cc b/tests/Box/frequency1.cc index 9b03553..b64be53 100644 --- a/tests/Box/frequency1.cc +++ b/tests/Box/frequency1.cc @@ -180,8 +180,8 @@ test08() { TBox box(3); box.add_constraint(A == 1); box.add_constraint(2*B == -1); - box.add_constraint(3*C == 2); - box.add_constraint(B <= 2); + box.add_constraint(2*C == 1); + box.add_constraint(B <= 4); Coefficient num; Coefficient den; @@ -189,7 +189,7 @@ test08() { Coefficient vald; bool ok = (box.frequency(Linear_Expression(A - B + C + 1), num, den, valn, vald) - && num == 0 && den == 1 && valn == 19 && vald == 6); + && num == 0 && den == 1 && valn == 3 && vald == 1); print_constraints(box, "*** box ***"); nout << "valn " << valn << ", vald " << vald << endl;

1 0

[GIT] ppl/ppl(termination): New commits
by Roberto Bagnara 20 Mar '10

20 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c161e90b6cb5… Merge: a55e13a59c2877379aa61686371696e30dbabcd1 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 20 08:30:07 2010 +0400 Merge branch 'master' into termination Conflicts: interfaces/Prolog/ppl_prolog_common.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:21:49 2010 +0100 Fixed a typo in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=124faa76cafb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 22:07:21 2010 +0100 Improved the documentation with examples for uses of the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2b90afc196… Author: François Galea <francois.galea(a)uvsq.fr> Date: Fri Mar 19 07:44:11 2010 +0100 Added a couple of tests using the big parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa6aa7c81951… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Mar 19 19:00:12 2010 +0100 Added formatting conventions to the STANDARDS file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5911ab1fcc19… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:47:59 2010 +0000 As in previous commit - ensure initialization of variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da0e46c90e0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 09:13:09 2010 +0000 Missing variable initialization added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c45d375b4ec… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Mar 19 08:53:12 2010 +0000 Improved documentation for frequency(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c439aeac0c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 19 08:55:40 2010 +0100 Corrected/improved a few tests in BD_Shape/frequency1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22adde10fd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 22:36:41 2010 +0100 Mention header file partially_reduced_product_test.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fe09524b326… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 18:37:22 2010 +0100 Don't take the address of a temporary object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:38:26 2010 +0100 Fixed tests/Partially_Reduced_Product/Makefile.am. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0ff1e07c695… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:15:05 2010 +0100 Avoid a broken reference to another manual that is built later. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42397bb0409e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:12:09 2010 +0100 Define the SOURCES for test concatenate1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 14:16:15 2010 +0000 Avoid leakage when exiting a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94e7696f13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 13:50:12 2010 +0000 Revised code neede for wrap assign wrap_assign in Java. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f52… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 14:17:15 2010 +0100 Let ppl_*_linear_partition/4 register its outputs to the allocator tracker. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 13:04:22 2010 +0100 Corrected typo: register the C++ pointer, not the Prolog term. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740bb2d0009c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:37:32 2010 +0100 Corrected the expected results for test fimmel.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=618bf7265df3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:15:15 2010 +0100 Corrected expected result for test sor1d.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5d011c79c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:06:43 2010 +0100 Test 08 may does not overflow when using exact Octagonal_Shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9919991474ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:24:38 2010 +0100 Fixed input file sor1d.pip. A line of blanks is not a valid comment line for the input reading routine. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05ba76777df2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:22:30 2010 +0100 Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc.

1 0