[eclipse-users] How to interface ECLiPSe via socket or pipe?

From: Giuseppe Di Guglielmo <giuseppe.diguglielmo_at_...95...>
Date: Fri, 15 Feb 2008 13:36:18 +0100
Did you interface ECLiPSe via socket or pipe to a C/C++ program? Can you
post a simple example of it? In a previous thread socket/pipe solution
appears better than coupling ECLiPSe with my program via ECLiPSe API.

As far as I can tell, you don't need the tight counpling between ECLiPSe 
and C++, which is what the C++ (and C) interface provides. What you want 
to do is to send your constraints to ECLiPSe dynamically, and then have 
ECLiPSe solve your problem. The results can be sent back by ECLiPSe to 
your application, or your application can query ECLiPSe for the data it 

This is probably best done with ECliPSe as a separate process, and you 
set up commnication channels (e.g. pipes, if you are using Unix) between 
it and your application. You probably need at least one channel to send 
to ECLiPSe, and another to receive output from ECLiPSe.  


Giuseppe Di Guglielmo       Dept. of Computer Science - University of
                               Strada le Grazie, 15 - 37134 Verona - Italy

Phone Office:   +39 045 8027049         Fax:    +39 045 8027068
Phone Home:     +39 045 6152251         Mobile: +39 347 0493371

WWW: http://profs.sci.univr.it/~diguglielmo

email: giuseppe.diguglielmo_at_...95... 
email: diguglielmo_at_...96...          Skype: giuseppe.diguglielmo  


This e-mail message is intended for the addressee(s) only and may contain 
confidential and or privileged information.  If you are not the intended 
recipient of this e-mail message, you should not read, copy, forward or 
otherwise distribute or further disclose the information in it. If you have 
received this e-mail message in error, please contact the originator of this
e-mail message via e-mail and delete all copies of this message from your 
computer or network, thank you.
Received on Fri Feb 15 2008 - 12:36:24 CET

This archive was generated by hypermail 2.3.0 : Sun Aug 18 2019 - 21:14:41 CEST