[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: question about simplifications
> 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,
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