[PPL-devel] PPL's java interface

[Enea Zaffanella]

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


Thanks for reporting: the two issues should be fixed now.

Be warned that anyway the PPL provides very little support for the 
NOT_EQUAL relation symbol: depending on the considered domain and 
operations, it might result in an exception being thrown, or it might be 
(safely) ignored.

Enea.