[m-rev.] For review: add support for constraint_store solver type attribute

[Ralph Becket]

Julien Fischer, Wednesday, 23 November 2005:
> >
> > Good point.  I've added the following documentation to the end of the
> > "mutables" section:
> >
> > +If provided, the @code{constraint_store} attribute serves to associate,
> > +for documentary purposes, the given mutables with the solver type.  That is,
> > +
> 
> If it's equivalent to having separate mutable declarations, then it's
> hardly for documentary purposes.  I suggest saying that any mutables
> declarations in the constraint store attribute are equivalent to
> separate mutable declarations and that their association with the solver
> type is for the purposes of documentation.

Fair enough.  I've amended the documentation to say

+If provided, any mutable declarations given for the @code{constraint_store}
+attribute are equivalent to separate mutable declarations; their association
+with the solver type is for the purposes of documentation.

> I'm a little unclear as to why this change is going to be helpful; is
> it just because this was they way things were written in the solver types
> paper?

That's correct.  My feeling is that this change probably shouldn't go
in, but Zoltan wants the paper to be legitimate and I can see the appeal
of keeping all things solver-related in the same declaration.

-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------