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

question about simplifications



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