Oz and Mozart Users Mailing List

Re: One more word: conditional summation


From: Alain Van Kerm (alain.van_kerm@etca.alcatel.be)
Date: Mon Mar 10 2003 - 14:40:55 CET


Michelle Engel wrote:
>
> I had the idea of {List.filter C P} or {Record.filter C P}, but this works
> only with an unary procedure P. But I need a binary procedure. That's the
> problem...
>
> Thanks,
> Michelle
>

What about List.filterInd (assuming C is a list) ?

{For 1 NrOfCars 1
 proc {$ I}
   {FD.sum
      {List.filterInd C fun {$ J _} Connects.J.1 == Cars.I.1 end}
      '=<:'
      1}
 end}

Disclaimer: I know almost nothing about FD.
Regs,
Alain
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs@mozart-oz.org.



This archive was generated by hypermail 2b29.