[PPL-devel] ppl/src Polyhedron.cc Polyhedron.defs.hh
Elisa Ricci
ericci at spartacus.cs.unipr.it
Thu Oct 18 12:40:53 CEST 2001
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci at cs.unipr.it 2001-10-18 12:40:53
Modified files:
src : Polyhedron.cc Polyhedron.defs.hh
Log message:
Now the function
GenSys_Con_Rel poly_satisfies_constraint(const Constraint& con)
is called
GenSys_Con_Rel satisfies(const Constraint& c).
Added the exception for the functions convex_hull_lazy(), satisfies()
and includes().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.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.26&r2=1.27
More information about the PPL-devel
mailing list