[PPL-devel] ppl/src GenSys.defs.hh GenSys.cc
zaffanella at cs.unipr.it
Tue Oct 26 10:04:03 CEST 2004
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2004-10-26 10:04:03
src : GenSys.defs.hh GenSys.cc
bool GenSys::has_closure_points() const;
now behaves assuming the point of view of the user, i.e., disregarding
those closure points that are matched by corresponding points.
Fixed a bug in private method
whereby an unwanted exception was thrown when converting an NNC generator
system into a C generator system. This correction also makes test
addgenerators11 behave correctly (i.e., no longer XFAILS).
More information about the PPL-devel