8 Aug
2012
8 Aug
'12
4:04 p.m.
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.
- It seems there is no support for " Relation_Symbol.NOT_EQUAL "
http://bugseng.com/products/ppl/documentation//devref/ppl-devref-java-interf...
- 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.