Module: ppl/ppl Branch: master Commit: 456f042c8e04c55936c6da5560b4bca323c65332 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456f042c8e04c... Author: Roberto Bagnara <bagnara@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,