Hi, I don't know enough about CPViz to help with your first problem, except to say it looks like there is some problem encountered when converting the XML trace log file in viz/1 -- this conversion is done by a Java program, and it is this Java program that is aborting. I don't think the Java version is the problem, because I was able to successfully run the nqueens example in CPViz... On your second problem: On 22/07/2013 00:26, Claudio Cesar de Sá wrote: > The examples from CPviz manual provides some strange messages like: > .............................................................................................................. > /usr/local/eclipse/lib_public/cpviz.ecl compiled 25560 bytes in 0.43 seconds > cpviz_example.ecl compiled 18696 bytes in 0.56 seconds > calling an undefined procedure top in module eclipse > ...................................................................................... I am not sure what cpviz_example.ecl is -- I can't find this file in the CPViz/Viz/examples directory. However, top/0 is the name of the predicate to call in the examples, but the examples all use their own modules, and not the default eclipse module, so if you are using these examples, this will explain the error you are getting. To call top in the examples, you need to qualify it with the module it is defined in, e.g. top:top. (the examples I have looked at are defined in a module called top) Cheers, KishReceived on Mon Jul 22 2013 - 19:23:44 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST