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

Re: question about simplifications

To: susanto@dcs.gla.ac.uk
Subject: Re: question about simplifications
From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
Date: Wed, 09 Dec 1998 11:40:21 -0800
Cc: pvs-help@csl.sri.com
In-reply-to: Your message of "Wed, 09 Dec 1998 18:49:14 GMT." <366EC62A.CF220CF1@dcs.gla.ac.uk>



> I try to do simplification by using (simplify)/(simplify -11) or (beta
> *).
> I expect that it simplify as:
> [-11]    sig!4 =  (LAMBDA (t: time): FALSE)
> [-12]    sig!4 = envs!1 ("i1", "xor2_3")
> 
> But It didn't change at all.
> I wonder what's the problem ?


Try using (lift-if) to simplify WITH expressions.

Let me know if that doesn't do the trick,

Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com

References:
- question about simplifications
  - From: Kong Woei Susanto <susanto@dcs.gla.ac.uk>

Prev by Date: Re: Question about With
Next by Date: Directed graph package?
Prev by thread: question about simplifications
Next by thread: Instanciating unboud varaibles
Index(es):
- Date
- Thread