CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-10-05 20:41:24
Modified files: src : Makefile.am tests : Makefile.am Added files: src : algorithms.hh tests : linearpartition1.cc
Log message: New function template <typename PH> std::pair<PH, PowerSet<Determinate<NNC_Polyhedron> > > linear_partition(const PH& p, const PH& q) computing a partition of `q' with respect to `p'.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...