[PPL-devel] ppl src/ConSys.cc src/ConSys.defs.hh src/ConSy ...
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Sun Oct 28 21:41:53 CET 2001
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2001-10-28 21:41:53
Modified files:
src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh
GenSys.cc GenSys.defs.hh GenSys.inlines.hh
Generator.defs.hh Polyhedron.cc
tests : Makefile.am
Log message:
Added static members denoting the zero-dim usatisfiable constraint,
teh corresponding constraint system and the system of generators
corresponding to the zero-dim universe.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.43&r2=1.44
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.20&r2=1.21
More information about the PPL-devel
mailing list