Re: [eclipse-clp-users] Difficulties with CP-viz Viztool under Tkeclipse 6.1 #163

From: Kish Shen <kisshen_at_...5...>
Date: Mon, 22 Jul 2013 19:49:09 +0100
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,

Kish
Received on Mon Jul 22 2013 - 19:23:44 CEST

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST