[PPL-devel] ppl/src Constraint_System.inlines.hh Congruenc ...
Enea Zaffanella
zaffanella at cs.unipr.it
Sat Aug 16 16:03:23 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2008-08-16 16:03:23
Modified files:
src : Constraint_System.inlines.hh
Congruence_System.inlines.hh
Log message:
Corrected the implementation of method empty(), which was not disregarding
trivial constraints/congruences.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.hh.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines.hh.diff?cvsroot=ppl&r1=1.11&r2=1.12
More information about the PPL-devel
mailing list