[m-rev.] for review: avoid excessive goal traversal in trail usage opt

[Ralph Becket]

Julien Fischer, Friday,  2 December 2005:
> 
> For review by Mark or Ralph.
> 
> Estimated hours taken: 10
> Branches: main
> 
> Attach trail usage information to the goal_info rather than recomputing it on
> demand - this avoids repeated traversals of the goal structure during trail
> usage analysis.

That looks fine.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------