[PPL-devel] ppl/src Constraint.cc Constraint.defs.hh Const ...
Enea Zaffanella
zaffanella at cs.unipr.it
Tue Dec 28 11:02:10 CET 2004
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2004-12-28 11:02:10
Modified files:
src : Constraint.cc Constraint.defs.hh
Constraint.inlines.hh Constraint_System.cc
Constraint_System.defs.hh Generator.cc
Generator.defs.hh Generator.inlines.hh
Generator_System.defs.hh
Linear_Expression.defs.hh Polyhedron.inlines.hh
Polyhedron_nonpublic.cc Polyhedron_public.cc
Polyhedron_widenings.cc
Log message:
Classes Constraint and Generator now have comparison operators == and !=,
checking for semantic equivalence.
Class constraint has publicly available methods is_tautological() and
is_inconsistent(), replacing the preovate methods is_trivial_true() and
is_trivial_false().
The swap methods of classes Constraint, Generator, Linear_Expression,
Constraint_System and Generator_System are now publicly available.
Corrected a minor efficiency bug in Polyhedron::shrink_bounding_box().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&r1=1.45&r2=1.46
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&r1=1.100&r2=1.101
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&r1=1.56&r2=1.57
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&r1=1.98&r2=1.99
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.105&r2=1.106
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.40&r2=1.41
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.46&r2=1.47
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.38&r2=1.39
More information about the PPL-devel
mailing list