[eclipse-clp-users] Variable Names

From: Christian Wirth <tyrion_at_...215...>
Date: Fri, 05 Feb 2010 16:26:34 +0100

i'm using eclipse clp in connection with java. My problem is, that when 
i get the resonse to a rpc call, i don't get the variable names.


When the value is mark(_235,_236) in eclipse it gets returned to java as 
mark,null,null but i need to preserve this information.

How to ?

best regards C. Wirth
Received on Fri Feb 05 2010 - 15:51:49 CET

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