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

[Mark Brown]

On 22-Nov-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 3
> Branches: main
> 
> Add support for `constraint_store is mutable(...)' or
> `constraint_store is [mutable(...), ...]' attributes on solver type
> definitions.
> 

> Index: doc/reference_manual.texi
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
> retrieving revision 1.338
> diff -u -r1.338 reference_manual.texi
> --- doc/reference_manual.texi	18 Nov 2005 06:13:38 -0000	1.338
> +++ doc/reference_manual.texi	22 Nov 2005 07:07:57 -0000
> @@ -2226,19 +2226,24 @@
>  
>  @example
>  :- solver type solver_type
> -        where   representation is representation_type,
> -                initialisation is initialisation_pred,
> -                ground         is ground_inst,
> -                any            is any_inst,
> -                equality       is equality_pred,
> -                comparison     is comparison_pred.
> +        where   representation   is representation_type,
> +                initialisation   is initialisation_pred,
> +                ground           is ground_inst,
> +                any              is any_inst,
> +                constraint_store is mutable_decls,
> +                equality         is equality_pred,
> +                comparison       is comparison_pred.
>  @end example
>  
>  The @samp{representation} and @samp{initialisation} attributes are mandatory
>  (@samp{initialization} is allowed as a synonym for @samp{initialisation}),
> - at samp{ground_inst} and @samp{any_inst} default to @samp{ground}, the equality
> -and comparison attributes are optional (although a solver type without equality
> -would not be very useful), and attributes must appear in the order shown.
> + at samp{ground_inst} and @samp{any_inst} default to @samp{ground},
> + at samp{mutable_decls} is either a single mutable declaration
> +(@pxref{Module-local mutable variables})
> +or a comma separated list of mutable declarations in brackets,
> +the equality and comparison attributes are optional (although a solver type
> +without equality would not be very useful), and attributes must appear in the
> +order shown.

What is the semantics of the new attribute?

Cheers,
Mark.

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