<div dir="ltr">Paul,<div><br></div><div>I had the following conversation with Ludovic Langevine relating to the BDD module bdd_alt.m. The bottom line is that Mission Critical IT has agreed to release the missing "cache" module. Sorry about the awkward presentation below.</div><div><br></div><div>Robert Buckley</div><div><br></div><div>_______________________________________________</div><div><div class="" style="font-size:medium"><div class=""><div class="" style="font-size:22px"><h2 id=":cw" class="" tabindex="-1">Recent release of bdd source code in Mercury programming language</h2><span id=":cx" class=""><div class="" id=":co"><div class="" tabindex="0"></div><div class=""></div></div><table cellpadding="0" class=""><tbody><tr class=""><td class="" style="color:rgb(102,102,102);background-color:rgb(221,221,221)"><div class="" name="Buckley/Mercurylang.org" title="Search for all messages with label Buckley/Mercurylang.org" tabindex="0">Buckley/Mercurylang.org</div></td><td class="" style="color:rgb(102,102,102);background-color:rgb(221,221,221)"><span class="" name="Buckley/Mercurylang.org" title="Remove label Buckley/Mercurylang.org from this conversation" tabindex="0">x</span></td></tr></tbody></table></span></div><div class=""></div></div></div><div class="" style="font-size:medium"><div class=""><div class=""></div><div class=""></div><div class=""><div class="" tabindex="-1"><div class="" style="width:1203px"><div class=""><div id=":cc"><div class=""><div class=""><div class=""><img id=":0_28-e" name=":0" src="https://ssl.gstatic.com/ui/v1/icons/mail/profile_mask2.png" class="" style="background-color: rgb(204, 204, 204);"></div></div><div class=""><div class="" style="font-size:16px"><table cellpadding="0" class=""><tbody><tr class=""><td class="" style="width:909px"><table cellpadding="0" class="" style="width:909px"><tbody><tr><td><h3 class=""><span name="Delmas Buckley" class="" style="font-size:16px">Delmas Buckley</span> <span class=""><span><</span><a href="mailto:rbuckley@ieee.org">rbuckley@ieee.org</a><span>></span></span></h3></td></tr></tbody></table></td><td class=""><div class=""><span id=":d9" class="" title="Thu, Jun 4, 2015 at 7:36 PM" alt="Thu, Jun 4, 2015 at 7:36 PM">7:21 AM (1 hour ago)</span><div class="" tabindex="0" style="outline:0px"><span class=""><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></span></div></div></td><td class=""></td><td class="" rowspan="2"><div class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div><div id=":c5" class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div></td></tr><tr class=""><td colspan="3"><table cellpadding="0" class="" style="width:1078px"><tbody><tr><td class=""><div class=""><span class="">to <span dir="ltr" name="llg" class="">llg</span></span></div><div class=""><img class="" id=":c6" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div></td></tr></tbody></table></td></tr></tbody></table></div><div class=""></div><div class=""></div><div class=""></div><div id=":c7" tabindex="-1"></div><div id=":db" class="" style="font-size:16px"><div id=":b1" class="" style="overflow:hidden"><div dir="ltr"><div><div><div><div>Hello,<br><br></div>Recently Mercury source files for BDD operations were posted on the Mercury User distribution. One of the BDD modules, bdd_alt.m, imports a module named "cache", at line 74. But the standard distribution of Mercury appears not to include the module "cache". Can you provide a copy of "cache" that itself relies only upon standard Mercury modules/libraries? Or, in the alternative, direct us to a source of such module.<br><br></div>If you are able to do so, it would be very much appreciated, as I would like to evaluate the usefulness of the alternative BDD implementation.<br><br></div>Best regards,<br></div>Robert Buckley<div class=""></div></div></div></div><div class=""></div></div><div class=""></div></div><div class="" style="font-size:16px"><div class=""><div class=""></div></div></div></div></div></div></div><div class="" tabindex="-1"><div class="" style="width:1203px"><div class=""><div id=":ap"><div class=""><div class=""><div class=""><img id=":0_30-e" name=":0" src="https://ssl.gstatic.com/ui/v1/icons/mail/profile_mask2.png" class="" style="background-color: rgb(164, 194, 244);"></div></div><div class=""><div class="" style="font-size:16px"><table cellpadding="0" class=""><tbody><tr class=""><td class="" style="width:909px"><table cellpadding="0" class="" style="width:909px"><tbody><tr><td><h3 class=""><span name="Ludovic Langevine" class="" style="font-size:16px">Ludovic Langevine</span></h3></td></tr></tbody></table></td><td class=""><div class=""><span id=":mm" class="" title="Thu, Jun 4, 2015 at 10:31 PM" alt="Thu, Jun 4, 2015 at 10:31 PM">Jun 4 (2 days ago)</span><div class="" tabindex="0" style="outline:0px"><span class=""><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></span></div></div></td><td class=""></td><td class="" rowspan="2"><div class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div><div id=":md" class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div></td></tr><tr class=""><td colspan="3"><table cellpadding="0" class="" style="width:1078px"><tbody><tr><td class=""><div class=""><span class="">to <span dir="ltr" name="me" class="">me</span></span></div><div class=""><img class="" id=":h4" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div></td></tr></tbody></table></td></tr></tbody></table></div><div class=""></div><div class=""></div><div class=""></div><div id=":d4" tabindex="-1"></div><div id=":mo" class="" style="font-size:16px"><div id=":mp" class="" style="overflow:hidden"><p dir="ltr">Hi Robert,<br>I have to check with Mission Critical IT team first, but the caching module is definitely a useful piece of code.<br>I come back to you.</p><p dir="ltr">Cheers,<br>Ludovic</p><div class=""><div id=":mc" class="" tabindex="0"><img class="" src="https://ssl.gstatic.com/ui/v1/icons/mail/images/cleardot.gif"></div></div></div></div><div class=""></div></div><div class=""></div></div><div class="" style="font-size:16px"><div class=""><div class=""></div></div></div></div></div></div></div><div class="" tabindex="-1"><div class="" style="width:1203px"><div class=""><div id=":h5"><div class=""><div class=""><div class=""><img id=":0_32-e" name=":0" src="https://ssl.gstatic.com/ui/v1/icons/mail/profile_mask2.png" class="" style="background-color: rgb(164, 194, 244);"></div></div><div class=""><div class="" style="font-size:16px"><table cellpadding="0" class=""><tbody><tr class=""><td class="" style="width:917px"><table cellpadding="0" class="" style="width:917px"><tbody><tr><td><h3 class=""><span name="Ludovic Langevine" class="" style="font-size:16px">Ludovic Langevine</span> <span class=""><span><</span><a href="mailto:llg@missioncriticalit.com">llg@missioncriticalit.com</a><span>></span></span></h3></td></tr></tbody></table></td><td class=""><div class=""><span id=":m6" class="" title="Fri, Jun 5, 2015 at 12:44 AM" alt="Fri, Jun 5, 2015 at 12:44 AM">Jun 5 (1 day ago)</span><div class="" tabindex="0" style="outline:0px"><span class=""><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></span></div></div></td><td class=""></td><td class="" rowspan="2"><div class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div><div id=":lx" class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div></td></tr><tr class=""><td colspan="3"><table cellpadding="0" class="" style="width:1078px"><tbody><tr><td class=""><div class=""><span class="">to <span dir="ltr" name="me" class="">me</span></span></div><div class=""><img class="" id=":dn" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div></td></tr></tbody></table></td></tr></tbody></table></div><div class=""></div><div class=""></div><div class=""></div><div id=":at" tabindex="-1"></div><div id=":m8" class="" style="font-size:16px"><div id=":m9" class="" style="overflow:hidden">Hi Robert,<div><div class="adm"><div id="q_14dc2c2761455db0_1" class="h4"><div class=""></div></div></div></div>We're going to distribute the "cache" module as well.<br>Should you have any further question about the BDD modules, feel free to contact me.<br><br>Best regards,<br>Ludovic<div class=""></div></div></div><div class=""></div></div><div class=""></div></div><div class="" style="font-size:16px"><div class=""><div class=""></div></div></div></div></div></div></div><div class="" tabindex="-1"><div class="" style="width:1203px"><div class=""><div id=":dm"><div class=""><div class=""><div class=""><img id=":0_34-e" name=":0" src="https://ssl.gstatic.com/ui/v1/icons/mail/profile_mask2.png" class="" style="background-color: rgb(204, 204, 204);"></div></div><div class=""><div class="" style="font-size:16px"><table cellpadding="0" class=""><tbody><tr class=""><td class="" style="width:917px"><table cellpadding="0" class="" style="width:917px"><tbody><tr><td><h3 class=""><span name="Delmas Buckley" class="" style="font-size:16px">Delmas Buckley</span> <span class=""><span><</span><a href="mailto:rbuckley@ieee.org">rbuckley@ieee.org</a><span>></span></span></h3></td></tr></tbody></table></td><td class=""><div class=""><span id=":ha" class="" title="Fri, Jun 5, 2015 at 6:46 AM" alt="Fri, Jun 5, 2015 at 6:46 AM">Jun 5 (1 day ago)</span><div class="" tabindex="0" style="outline:0px"><span class=""><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></span></div></div></td><td class=""></td><td class="" rowspan="2"><div class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div><div id=":oi" class="" tabindex="0"><img class="" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div></td></tr><tr class=""><td colspan="3"><table cellpadding="0" class="" style="width:1078px"><tbody><tr><td class=""><div class=""><span class="">to <span dir="ltr" name="Ludovic" class="">Ludovic</span></span></div><div class=""><img class="" id=":oj" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt=""></div></td></tr></tbody></table></td></tr></tbody></table></div><div class=""></div><div class=""></div><div class=""></div><div id=":oz" tabindex="-1"></div><div id=":h8" class="" style="font-size:16px"><div id=":gw" class="" style="overflow:hidden"><div dir="ltr">Thank you<div><br></div><div>Best regards,</div><div>Robert Buckley</div></div><div class=""><div id=":o0" class="" tabindex="0"><img class="" src="https://ssl.gstatic.com/ui/v1/icons/mail/images/cleardot.gif"></div></div></div></div></div></div></div></div></div></div></div></div></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Jun 6, 2015 at 6:27 AM, Paul Bone <span dir="ltr"><<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Thu, Jun 04, 2015 at 07:52:59AM +0100, Matthias G??demann wrote:<br>
> Hi Paul and Robert,<br>
><br>
> I had a look at the test_bdd.m program. It seems that there simply is a<br>
> problem with the argument order. In lines 283 and 293, the variable BDD<br>
> is of type bdd(Var) and must be passed as *second* argument instead of<br>
> as first, as the function evaluate has the type:<br>
><br>
> :- func evaluate(valuation(BooleanVar), bdd(BooleanVar)) = bool.<br>
><br>
> when this is done (see attached patch), the program compiles and all<br>
> tests in test_bdd.m pass (see attached compressed output).<br>
<br>
</div></div>Thanks,  I'll push this change soon, however...<br>
<br>
I found that it doesn't compile with Mercury ROTD 2015-02-02, which I believe<br>
includes a more accurate mode-checker.  I'm working on fixing it but I've found<br>
that it was easier to re-write the mode incorrect parts.  I'll push it when<br>
I'm done.<br>
<br>
Cheers.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Paul Bone<br>
Software Developer<br>
<a href="http://www.bone.id.au" target="_blank">http://www.bone.id.au</a><br>
</font></span></blockquote></div><br></div></div>