Re: [eclipse-clp-users] Variable Names

From: Kish Shen <kisshen_at_...5...>
Date: Mon, 08 Feb 2010 13:41:26 +0000
Christian Wirth wrote:
 >I need this
 > because i get several terms returned and i need to know where are the
 > same variables in different terms ...

You should move any such reasoning about ECLiPSe terms into your ECLiPSe 
code, rather than trying to do it in Java.

As I said previously, it is not safe to assume that the same variable 
names in a printed term will always refer to the same variable. You can 
only safely determine if two variables are the same in ECLiPSe (e.g. 
using ==/2).


This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Mon Feb 08 2010 - 14:08:50 CET

This archive was generated by hypermail 2.3.0 : Tue Aug 20 2019 - 00:14:49 CEST