[m-rev.] for review: set*__intersect_list

Simon Taylor stayl at cs.mu.OZ.AU
Tue Feb 19 20:01:25 AEDT 2002


On 19-Feb-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> library/set*.m:
> 	Add predicates for computing the intersection of a list of sets.

> Index: set_bbbtree.m
> ===================================================================
> @@ -887,6 +887,21 @@
>  							Intersection0, Ratio),
>  	set_bbbtree__power_intersect_r2(L, Intersection0, Intersection1, Ratio),
>  	set_bbbtree__power_intersect_r2(R, Intersection1, Set, Ratio).
> +
> +:- func set_bbbtree__intersect_list(list(set_bbbtree(T))) = set_bbbtree(T).

This should be in the interface. Otherwise, this change is fine.

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