Reply to Walter,
BCS wrote:
Reply to Walter,
How could I do partial ordering if one constraint expression accepts
only "odd" integers?
you wouldn't, but rather ignore that clause and mine the constraints
that you would use out of the expression (see my post for details)
Then aren't things getting just as, or even more, complicated?
99% of the time nobody needs to worry about how exactly partial ordering
works. 90% of the time* people don't need to worry about putting constraints
in the if clause or in the argument list.
I'd much rather have more complexity on the thing I need 1% of the time than
the thing I need 10%. And the the rules I proposed are arguably simpler than
the partial ordering bit that it inherits wholesale from the current solution
so it might not even be the hard part.
On top of that, they may also alow for fewer cases wher the partial ordering
even comes into play.
*87.6% of statistics are made up on the spot.
