[PPL-devel] ppl src/ConSys.cc src/ConSys.defs.hh src/GenSy ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2002-09-29 15:31:04

Modified files:
	src            : ConSys.cc ConSys.defs.hh GenSys.cc 
	                 GenSys.defs.hh Matrix.cc Matrix.defs.hh 
	                 Poly_Con_Relation.cc Poly_Con_Relation.defs.hh 
	                 Poly_Gen_Relation.cc Poly_Gen_Relation.defs.hh 
	                 Polyhedron.cc Polyhedron.defs.hh SatMatrix.cc 
	                 SatMatrix.defs.hh Status.cc Status.defs.hh 
	tests          : ascii_dump_load1.cc 

Log message:
	The ASCII_dump() and ASCII_load() methods have been renamed
	ascii_dump() and ascii_load().

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&r1=1.46&r2=1.47
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&r1=1.67&r2=1.68
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.66&r2=1.67
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&r1=1.80&r2=1.81
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.43&r2=1.44
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.224&r2=1.225
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.151&r2=1.152
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2