Re: [eclipse-users] Fwd: 'forall' predicate

From: Malcolm Ryan <malcolmr_at_...25...>
Date: Thu, 29 Mar 2007 13:03:48 +1000
On 28/03/2007, at 6:36 PM, Ulrich Scholz wrote:

>> I worked it out. I wrote my own version of copy_term which only
>> duplicated a particular variable. The code is below. If anyone can
>> suggest a more efficient way of doing this, I'd like to hear it.
>
> Have you had a look at copy_term_vars/3 ?

Just what I want. Thankyou.

Malcolm

--
            "Cleanliness is not next to godliness nowadays,
                 for cleanliness is made an essential
               and godliness is regarded as an offence.
                                     - G.K.Chesterton, On Lying in Bed
Received on Thu Mar 29 2007 - 04:03:59 CEST

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST