[PPL-devel] ppl src/Makefile.am tests/Makefile.am src/algo ...
Roberto Bagnara
roberto at spartacus.cs.unipr.it
Sat Oct 5 20:41:24 CEST 2002
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at 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&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.126&r2=1.127
More information about the PPL-devel
mailing list