CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-08-12 17:07:43

Modified files: src : rr_classifier.cc

Log message: Fixed a bug in the function `x_function_in_powers_or_functions()'. It checks if there are nested functions (like `mod(x(n-1), k)') and there was a call to the method `Expr::is_the_x_function()' instead of `Expr::has_x_function()'.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cv...