[PPL-devel] PPL's java interface
Zell
zell08v at orange.fr
Tue Aug 7 11:13:28 CEST 2012
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120807/869cf1e2/attachment.htm>
More information about the PPL-devel
mailing list