CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo@cs.unipr.it 2004-09-29 09:52:43

Modified files: demos/ppl_lcdd : ppl_lcdd.cc interfaces/C : ppl_c.cc interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/SWI: ppl_swiprolog.cc src : Checked_Number.defs.hh Checked_Number.inlines.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Interval.inlines.hh Native_Integer.defs.hh Native_Integer.inlines.hh Polyhedron_nonpublic.cc checked.defs.hh checked.inlines.hh checked_int.inlines.hh

Log message: Fixed compilation for different types of Integers.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swip... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.dif...