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

Julien Fischer juliensf at cs.mu.OZ.AU
Wed Nov 23 14:21:32 AEDT 2005


On Wed, 23 Nov 2005, Ralph Becket wrote:

> Mark Brown, Tuesday, 22 November 2005:
> >
> > What is the semantics of the new attribute?
>
> 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.

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?

Cheers,
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
--------------------------------------------------------------------------



More information about the reviews mailing list