[m-rev.] Extend solver initialisation to cover disjunctions and if-then-elses

[Julien Fischer]

On Fri, 18 Mar 2005, Ralph Becket wrote:

> Estimated hours taken: 12
> Branches: main, release
>
> Fix a bug.
>
> Ensure that if a solver variable is initialised by some branches of a
> disjunction, then it is initialised by all branches.  Make a similar
> guarantee for the branches of if-then-else goals.
>
It would be better if the start of the log message gave some idea of what
bug was fixed,
e.g.
	Fix a bug that was causing hard_coded/unify_existq_cons to fail.

It looks fine otherwise.

Julien.


--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------