
13 Feb
2012
13 Feb
'12
11:42 a.m.
Hi all, 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?
Thanks, --gianluca