On Mon, 2006-01-16 at 19:03 -0500, uwcssa wrote:
> Fine. The rest documentation says:" For now, the test only uses
> restriction clauses (those in restrictinfo_list). --Nels, Dec '92",
> however, I understand it as being overridden by the
> followup, which is:"XXX as of 7.1, equivalence class info *is*
> available. Consider
> improving this code as foreseen by Nels."
All readers are invited to solve the problem.
Currently we add only implied equality conditions, so enhancing the
optimizer to cope with inequalities seems possible.
Best Regards, Simon Riggs
---------------------------(end of broadcast)---------------------------
TIP 1: if posting/reading through Usenet, please send an appropriate
subscribe-nomail command to [EMAIL PROTECTED] so that your
message can get through to the mailing list cleanly
