>>>>> "Richard" == Richard Boulton <[EMAIL PROTECTED]> writes:
Richard>2001-06-06 Richard Boulton <[EMAIL PROTECTED]>
Richard>
Richard> * (conditionals_true_when): Pass first parameters by reference,
Richard> avoiding bug which put all parameters in @CONDS instead of @WHENS.
Richard> Report by Kalle Olavi Niemitalo.
Richard> Take a single WHEN instead of an array of WHENS.
Richard> Remove FIXME; can't now have an empty @WHENS.
Richard> * (conditional_is_redundant): New sub.
Richard> * (variable_conditions_reduce): Check whether each condition is
Richard> implied by any of the other conditions (other those already
Richard> discarded), rather than checking only against those already
Richard> considered (and kept). Also, fix sense of check: was keeping
Richard> tautologous terms instead of discarding them. Use
Richard> conditional_is_redundant instead of conditionals_true_when.
Richard> * tests/Makefile.am (TESTS): Added cond11.test and cond12.test.
Richard> * tests/cond11.test: New file.
Richard> * tests/cond12.test: New file.
I'm checking this in. I fixed a couple minor problems in the tests
and some of the formatting. Thanks for writing this patch. Sorry it
took so long; the paperwork process is annoying but required.
Tom
