[m-dev.] Re: [mercury-users] Mutual Exclusivity & Exhaustiveness

[Ralph Becket]

Lars Yencken, Friday,  4 January 2002:
> On 04-Jan-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > 
> > No - a disjunction cannot acquire more solutions by removing disjuncts!
> > 
> > Removing any two (or even one) of the above disjuncts may lead to
> > semideterminism or failure, but not nondeterminism.
> 
> Sorry, you're right. We can still use the information to limit the partial
> switch to one solution.

Well, at most one solution.

- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------