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

*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):