[PPL-devel] ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
Roberto Bagnara
bagnara at cs.unipr.it
Tue Jan 10 14:15:05 CET 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: bagnara at cs.unipr.it 2006-01-10 14:15:04
Modified files:
. : NEWS
interfaces/C : ppl_c.cc ppl_c.h.in
Log message:
New functions added to the C interface:
int ppl_Coefficient_is_bounded(void),
int ppl_Coefficient_min(mpz_t min),
int ppl_Coefficient_max(mpz_t max)
allow C applications to obtain information about the Coefficient
integer numerical type.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.172&r2=1.173
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&r1=1.147&r2=1.148
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?cvsroot=ppl&r1=1.60&r2=1.61
More information about the PPL-devel
mailing list