<div dir="ltr">Thank you, Matthias.<div><br></div><div>Robert Buckley</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jun 3, 2015 at 11:52 PM, Matthias Güdemann <span dir="ltr"><<a href="mailto:matthias.guedemann@googlemail.com" target="_blank">matthias.guedemann@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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>
<span class="HOEnZb"><font color="#888888"><br>
Matthias<br>
<br>
</font></span></blockquote></div><br></div>