[PPL-devel] ppl/interfaces/C ppl_c.cc ppl_c.h
Roberto Bagnara
roberto at spartacus.cs.unipr.it
Tue Apr 2 18:10:01 CEST 2002
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at cs.unipr.it 2002-04-02 18:10:01
Modified files:
interfaces/C : ppl_c.cc ppl_c.h
Log message:
All the *_and_minimize functions return a positive integer if the
reulting polyhedron is non-empty; they return 0 if it is empty
(and, as usual, return a negative number if an error occurred).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsroot=ppl&r1=1.19&r2=1.20
More information about the PPL-devel
mailing list