URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=83f3dc89a8376... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:50:36 2011 +0100

Linear_System, Constraint_System: remove the raw_*() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b749eb47941c... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:47:15 2011 +0100

Linear_System: avoid using raw_set_topology() in ascii_load().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbaf1e1637e3e... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:46:35 2011 +0100

Polyhedron: use the mark_as_{,not_}necessarily_closed() methods instead of the raw_set_{,not_}necessarily_closed() ones.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1beb6de14ed4f... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:45:42 2011 +0100

Constraint_System: add the mark_as_{,not_}necessarily_closed() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b981c4cec190... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:45:28 2011 +0100

Linear_System: add the mark_as_{,not_}necessarily_closed() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0346bd83b7cdf... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:08:06 2011 +0100

Grid_Generator_System: use higher-level methods of Linear_System, in ascii_load().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0f0dfa0984a8... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:07:10 2011 +0100

Generator_System: use higher-level methods of Linear_System, in ascii_load().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c19de5e7c3cb8... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:06:51 2011 +0100

Generator_System: use higher-level methods of Linear_System, in convert_into_non_necessarily_closed().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85a2c16a11e2d... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:04:30 2011 +0100

Constraint_System: use higher-level methods of Linear_System, in ascii_load().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a136a7f80f99... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 09:04:17 2011 +0100

Constraint_System: use higher-level methods of Linear_System, in insert() and insert_pending().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e5c6073c0de5... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 08:58:14 2011 +0100

Generator_System: simplify the adjust_topology_and_space_dimension() method, using higher-level operations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a005b04895b21... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 08:48:46 2011 +0100

Constraint_System: simplify the adjust_topology_and_space_dimension() method, using higher-level operations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cdeef32f4b01... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Mar 4 08:47:57 2011 +0100

Linear_System: add the set_topology() and set_{,not_}necessarily_closed() methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2375f5e10ef2... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Mar 3 00:36:44 2011 +0100

*_System: rename the set_topology() and set_*necessarily_closed() methods into raw_set_topology() and raw_set_necessarily_closed(). Also implement Linear_Row set_*necessarily_closed() methods in term of set_topology().