[eclipse-clp-users] Variable Names

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

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.

Example:

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.2.0 : Mon Jul 09 2018 - 02:05:29 CEST