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

question about simplifications

To: pvs-help@csl.sri.com
Subject: question about simplifications
From: Kong Woei Susanto <susanto@dcs.gla.ac.uk>
Date: Wed, 09 Dec 1998 18:49:14 +0000
Organization: Dept. of Computing Science - University of Glasgow
Reply-To: susanto@dcs.gla.ac.uk
Sender: susanto@dcs.gla.ac.uk

Hi,

I am using override expression.
Part of it as follow:
[-11]    sig!4 = envs!1 WITH [(("cin", "")) := LAMBDA (t: time): FALSE,
                                                      (("in2", "")) :=
LAMBDA (t: time): FALSE]("cin", "")
[-12]    sig!4 = envs!1 WITH [(("cin", "")) := LAMBDA (t: time): FALSE,
                                                      (("in2", "")) :=
LAMBDA (t: time): FALSE]("i1", "xor2_3")

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 ?

cheers,
Kong Woei Susanto

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