Dear all,<br><br>Sorry for disturbing you again. But I find two problems in PPL&#39;s  Java interface. <br><br>1. It seems there is no support for &quot; Relation_Symbol.NOT_EQUAL &quot;<br><br><a href="http://bugseng.com/products/ppl/documentation//devref/ppl-devref-java-interface-1.0-html/Relation__Symbol_8java_source.html">http://bugseng.com/products/ppl/documentation//devref/ppl-devref-java-interface-1.0-html/Relation__Symbol_8java_source.html</a><br>
<br>2. Variable.id() is of type &#39;int&#39;, but Box.space_dimension() is of type &#39;long&#39;. I don&#39;t think this is intended because, if I understand correctly, each variable id corresponds to one space dimension, right? <br>
<br>If I am not wrong, what would be the work-around?  <br><br>Thanks for your ideas.<br>Zell. <br><br> <br>