[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Instanciations

To: Laurent FERIER <lfe@info.fundp.ac.be>
Subject: Instanciations
From: P.S.Miner@larc.nasa.gov
Date: Wed, 2 Dec 1998 14:50:27 -0400 (GMT-0400)
Cc: pvs-help@csl.sri.com, lfe.leibniz.info.fundp.ac.be@fundp.ac.be
In-Reply-To: <366528BF.2BF3@info.fundp.ac.be>
References: <366528BF.2BF3@info.fundp.ac.be>
Reply-To: P.S.Miner@larc.nasa.gov

Laurent FERIER writes:
 > * I would like to instanciate that formula with I2!1, I1!1 and nothing
 >   for x. I tried with 
 > 
 >    (inst -1 "I2!1" "I1!1" "-")
                              
  Try (inst -1 "I2!1" "I1!1" "_")

 You need an underscore, not a hyphen

-- 
-- Paul S. Miner                | email: p.s.miner@larc.nasa.gov
-- 1 South Wright St. / MS 130  |   fax: (757) 864-4234
-- NASA Langley Research Center | phone: (757) 864-6201
-- Hampton, Virginia 23681-2199 |

References:
- Instanciations
  - From: Laurent FERIER <lfe@info.fundp.ac.be>

Prev by Date: Instanciating unboud varaibles
Next by Date: Re: Instanciations
Prev by thread: Instanciations
Next by thread: Re: Instanciations
Index(es):
- Date
- Thread