| |
| | [Alice-users] Re: expression for pairwise disjoint (Site not responding. Last check: 2007-10-25) |
 | | Previous message: [Alice-users] Re: expression for pairwise disjoint |
 | | Next message: [Alice-users] Re: expression for pairwise disjoint |
 | | disjoint (t::tr) = > let > fun disjp ((dur1,start1),(_,start2))= > post (sp, start1 `+ dur1 `= start2, FD.BND) > in > foldl (fn (t,t') => (disjp(t,t'); t')) t tr; > () > end Maybe I'm just tired, but shouldn't this rather be foldl (fn (t,t') => (disjp(t',t); t)) t tr because the accumulator comes second? |
| www.ps.uni-sb.de /pipermail/alice-users/2005/000394.html (132 words) |
|