CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2004-09-27 17:39:47
Modified files: doc : definitions.dox interfaces/C : ppl_c.cc ppl_c.h.in interfaces/Prolog: Prolog_interface.dox clpq.pl clpq2.pl pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ciao_clpq.pl ciao_clpq2.pl ciao_pl_check.pl ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc xsb_pl_check.P interfaces/Prolog/YAP: ppl_yap.cc src : AskTell.defs.hh AskTell.inlines.hh BHRZ03_Certificate.cc BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh BoundingBox.defs.hh ConSys.cc ConSys.defs.hh Constraint.defs.hh Determinate.defs.hh Determinate.inlines.hh GenSys.cc GenSys.defs.hh Generator.defs.hh H79_Certificate.cc H79_Certificate.defs.hh H79_Certificate.inlines.hh LinExpression.defs.hh Matrix.defs.hh Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Variable.defs.hh tests : Makefile.am append1.cc append2.cc concatenate1.cc exceptions1.cc permute.cc polydifference9.cc Added files: tests : addspacedims1.cc addspacedims10.cc addspacedims11.cc addspacedims12.cc addspacedims13.cc addspacedims2.cc addspacedims3.cc addspacedims4.cc addspacedims5.cc addspacedims6.cc addspacedims7.cc addspacedims8.cc addspacedims9.cc expandspacedim1.cc expandspacedim2.cc foldspacedims1.cc foldspacedims2.cc mapspacedims1.cc mapspacedims2.cc mapspacedims3.cc removespacedims1.cc removespacedims10.cc removespacedims2.cc removespacedims3.cc removespacedims4.cc removespacedims5.cc removespacedims6.cc removespacedims7.cc removespacedims8.cc removespacedims9.cc Removed files: tests : adddimensions1.cc adddimensions10.cc adddimensions11.cc adddimensions12.cc adddimensions13.cc adddimensions2.cc adddimensions3.cc adddimensions4.cc adddimensions5.cc adddimensions6.cc adddimensions7.cc adddimensions8.cc adddimensions9.cc expanddim1.cc expanddim2.cc folddims1.cc folddims2.cc mapdim1.cc mapdim2.cc mapdim3.cc removedim1.cc removedim10.cc removedim2.cc removedim3.cc removedim4.cc removedim5.cc removedim6.cc removedim7.cc removedim8.cc removedim9.cc
Log message: The method Polyhedron::dimension() is now named Polyhedron::affine_dimension(). The names of all the methods changing the space dimension of a polyhedron now contain "space_dimension" as a substring, therefore avoiding ambiguity with the concept of affine dimension. All the foreign interfaces changed accordingly. Also tried to be consistent in the documentation. All the tests related to methods changing space dimensions now follow a common naming scheme (***spacedim(s)*).
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inter... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_cl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_cl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_cia... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swip... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.inlines... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims10.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims11.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims12.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims13.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims2.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims3.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims4.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims5.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims6.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims7.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims8.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims9.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expandspacedim1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expandspacedim2.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/foldspacedims1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/foldspacedims2.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapspacedims1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapspacedims2.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapspacedims3.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims10.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims2.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims3.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims4.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims5.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims6.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims7.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims8.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims9.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference9.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions10.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions11.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions12.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions13.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions4.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions5.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions6.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions7.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions8.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions9.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapdim1.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapdim2.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapdim3.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim10.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim3.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim4.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim5.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim6.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim7.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim8.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim9.cc.diff?cvsro...