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

[Ralph Becket]

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,
+
+ at example
+:- solver type t
+        where ... constraint_store is [ mutable(a, int, 42, ground, []),
+                                        mutable(b, string, "Hi", ground, [])
+                  ],
+              ...
+ at end example
+
+ at noindent
+is equivalent to
+
+ at example
+:- solver type t
+        where ...
+:- mutable(a, int, 42, ground, []).
+:- mutable(b, string, "Hi", ground, []).
+ at end example

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