[PPL-devel] ppl ./NEWS ./TODO interfaces/C/ppl_c.cc interf ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-02-22 16:34:21

Modified files:
	.              : NEWS TODO 
	interfaces/C   : ppl_c.cc ppl_c.h.in 
	src            : Polyhedron.defs.hh Polyhedron_public.cc 

Log message:
	The methods void Polyhedron::add_constraints(ConSys& cs), void
	Polyhedron::add_generators(GenSys& gs), bool
	Polyhedron::add_constraints_and_minimize(ConSys& cs), and bool
	Polyhedron::add_generators_and_minimize(GenSys& gs) have been renamed
	void Polyhedron::add_recycled_constraints(ConSys& cs), void
	Polyhedron::add_recycled_generators(GenSys& gs), bool
	Polyhedron::add_recycled_constraints_and_minimize(ConSys& cs), and
	bool Polyhedron::add_recycled_generators_and_minimize(GenSys& gs),
	respectively. At the same time, the methods void
	Polyhedron::add_constraints(const ConSys& cs), void
	Polyhedron::add_generators(const GenSys& gs), bool
	Polyhedron::add_constraints_and_minimize(const ConSys& cs), and bool
	Polyhedron::add_generators_and_minimize(const GenSys& gs) have been
	added. Corresponding changes have been made to the C interface.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.82&r2=1.83
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.63&r2=1.64
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&r1=1.96&r2=1.97
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.222&r2=1.223
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.16&r2=1.17