CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2007-02-27 16:23:13

Modified files: . : NEWS src : Constraint_System.defs.hh Constraint_System.inlines.hh Generator_System.defs.hh Generator_System.inlines.hh

Log message: The new methods `bool Constraint_System::empty() const' and `bool Generator_System::empty() const' return true if and only if the constraint (resp., generator) system has no constraints (resp., generators).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.h...