[gecode-users] Graphical java search under c++.

[Guido Tack]

Hi Stéphane.

> Actually I do not care about portability for now. All I want is a  
> research tool to track propagation and displays the state of my  
> graphs in C++. I am working under linux so this is fine. Please let  
> me know if you can send me the sources.

Sure, no problem. You find them attached to this email. I have not  
tried them in a while, and I do not remember exactly how to compile  
them. Using them is easy: instead of inheriting from Space, you must  
inherit from GecodeSpace (from the Gecode/J sources). The you just  
create an object of type Explorer and give it your root space - this  
should display the Java explorer.

It is very well possible that the version I'm sending you is not  
compatible with the latest version of Gecode and Gecode/J, please try  
it out. To compile, you will need the path to your JDK, and you will  
need to link against some Java libraries (I don't know exactly which,  
probably libjvm.so).

If you can get it to work, please let me know.

Cheers,
	Guido

-------------- next part --------------
A non-text attachment was scrubbed...
Name: explorer.cxx
Type: application/octet-stream
Size: 3452 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20061002/8c72f27c/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: explorer.hh
Type: application/octet-stream
Size: 649 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20061002/8c72f27c/attachment-0001.obj>
-------------- next part --------------

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack