[PPL-devel] [GIT] ppl/ppl(master): The *_and_minimize/N predicates have gone: remove residual references to them.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 14 14:39:00 2009 +0200

The *_and_minimize/N predicates have gone: remove residual references to them.

---

 interfaces/Prolog/Ciao/ciao_clpq.pl     |    1 -
 interfaces/Prolog/Ciao/ciao_clpq2.pl    |    1 -
 interfaces/Prolog/Ciao/ciao_pl_check.pl |    6 ------
 interfaces/Prolog/XSB/xsb_clpq.P        |    1 -
 interfaces/Prolog/XSB/xsb_clpq2.P       |    1 -
 interfaces/Prolog/XSB/xsb_pl_check.P    |    6 ------
 6 files changed, 0 insertions(+), 16 deletions(-)

diff --git a/interfaces/Prolog/Ciao/ciao_clpq.pl b/interfaces/Prolog/Ciao/ciao_clpq.pl
index 253ecb1..20486c9 100644
--- a/interfaces/Prolog/Ciao/ciao_clpq.pl
+++ b/interfaces/Prolog/Ciao/ciao_clpq.pl
@@ -39,7 +39,6 @@ site: http://www.cs.unipr.it/ppl/ . */
 	ppl_delete_Polyhedron/1,
 	ppl_Polyhedron_space_dimension/2,
 	ppl_Polyhedron_get_constraints/2,
-	ppl_Polyhedron_add_constraints_and_minimize/2,
 	ppl_Polyhedron_add_space_dimensions_and_embed/2,
 	ppl_Polyhedron_remove_higher_space_dimensions/2
 ]).
diff --git a/interfaces/Prolog/Ciao/ciao_clpq2.pl b/interfaces/Prolog/Ciao/ciao_clpq2.pl
index c3804d3..226bd2d 100644
--- a/interfaces/Prolog/Ciao/ciao_clpq2.pl
+++ b/interfaces/Prolog/Ciao/ciao_clpq2.pl
@@ -39,7 +39,6 @@ site: http://www.cs.unipr.it/ppl/ . */
 	ppl_delete_Polyhedron/1,
 	ppl_Polyhedron_space_dimension/2,
 	ppl_Polyhedron_get_constraints/2,
-	ppl_Polyhedron_add_constraints_and_minimize/2,
 	ppl_Polyhedron_add_space_dimensions_and_embed/2,
 	ppl_Polyhedron_remove_space_dimensions/2,
 	ppl_Polyhedron_remove_higher_space_dimensions/2
diff --git a/interfaces/Prolog/Ciao/ciao_pl_check.pl b/interfaces/Prolog/Ciao/ciao_pl_check.pl
index 8a2527f..6e90092 100644
--- a/interfaces/Prolog/Ciao/ciao_pl_check.pl
+++ b/interfaces/Prolog/Ciao/ciao_pl_check.pl
@@ -87,17 +87,11 @@ site: http://www.cs.unipr.it/ppl/ . */
         ppl_Polyhedron_equals_Polyhedron/2,
 	ppl_Polyhedron_OK/1,
 	ppl_Polyhedron_add_constraint/2,
-	ppl_Polyhedron_add_constraint_and_minimize/2,
 	ppl_Polyhedron_add_generator/2,
-	ppl_Polyhedron_add_generator_and_minimize/2,
 	ppl_Polyhedron_add_constraints/2,
-	ppl_Polyhedron_add_constraints_and_minimize/2,
 	ppl_Polyhedron_add_generators/2,
-	ppl_Polyhedron_add_generators_and_minimize/2,
 	ppl_Polyhedron_intersection_assign/2,
-	ppl_Polyhedron_intersection_assign_and_minimize/2,
 	ppl_Polyhedron_poly_hull_assign/2,
-	ppl_Polyhedron_poly_hull_assign_and_minimize/2,
 	ppl_Polyhedron_poly_difference_assign/2,
 	ppl_Polyhedron_affine_image/4,
 	ppl_Polyhedron_affine_preimage/4,
diff --git a/interfaces/Prolog/XSB/xsb_clpq.P b/interfaces/Prolog/XSB/xsb_clpq.P
index 6ff822b..c7892b9 100644
--- a/interfaces/Prolog/XSB/xsb_clpq.P
+++ b/interfaces/Prolog/XSB/xsb_clpq.P
@@ -35,7 +35,6 @@ site: http://www.cs.unipr.it/ppl/ . */
 	ppl_delete_Polyhedron/1,
 	ppl_Polyhedron_space_dimension/2,
 	ppl_Polyhedron_get_constraints/2,
-	ppl_Polyhedron_add_constraints_and_minimize/2,
 	ppl_Polyhedron_add_space_dimensions_and_embed/2,
 	ppl_Polyhedron_remove_higher_space_dimensions/2
    from ppl_xsb.
diff --git a/interfaces/Prolog/XSB/xsb_clpq2.P b/interfaces/Prolog/XSB/xsb_clpq2.P
index 2bd6c8e..35f1fa3 100644
--- a/interfaces/Prolog/XSB/xsb_clpq2.P
+++ b/interfaces/Prolog/XSB/xsb_clpq2.P
@@ -35,7 +35,6 @@ site: http://www.cs.unipr.it/ppl/ . */
 	ppl_delete_Polyhedron/1,
 	ppl_Polyhedron_space_dimension/2,
 	ppl_Polyhedron_get_constraints/2,
-	ppl_Polyhedron_add_constraints_and_minimize/2,
 	ppl_Polyhedron_add_space_dimensions_and_embed/2,
 	ppl_Polyhedron_remove_space_dimensions/2,
 	ppl_Polyhedron_remove_higher_space_dimensions/2
diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P
index 3d2e96c..9e1cb0f 100644
--- a/interfaces/Prolog/XSB/xsb_pl_check.P
+++ b/interfaces/Prolog/XSB/xsb_pl_check.P
@@ -83,17 +83,11 @@ site: http://www.cs.unipr.it/ppl/ . */
         ppl_Polyhedron_equals_Polyhedron/2,
 	ppl_Polyhedron_OK/1,
 	ppl_Polyhedron_add_constraint/2,
-	ppl_Polyhedron_add_constraint_and_minimize/2,
 	ppl_Polyhedron_add_generator/2,
-	ppl_Polyhedron_add_generator_and_minimize/2,
 	ppl_Polyhedron_add_constraints/2,
-	ppl_Polyhedron_add_constraints_and_minimize/2,
 	ppl_Polyhedron_add_generators/2,
-	ppl_Polyhedron_add_generators_and_minimize/2,
 	ppl_Polyhedron_intersection_assign/2,
-	ppl_Polyhedron_intersection_assign_and_minimize/2,
 	ppl_Polyhedron_poly_hull_assign/2,
-	ppl_Polyhedron_poly_hull_assign_and_minimize/2,
 	ppl_Polyhedron_poly_difference_assign/2,
 	ppl_Polyhedron_affine_image/4,
 	ppl_Polyhedron_affine_preimage/4,