Re: [PPL-devel] narrowing and Java bindings

On 02/13/12 11:42, Gianluca Amato wrote:

I'm trying the Java bindings for PPL. It seems that some domains (namely boxes) miss the CC76_narrowing_assign method. Is it just an oversight, or there are more fundamental issues behind?

Hi Gianluca,

it is an oversight. Stay tuned,

Roberto