Re: XRM 66: Add parameterized formulas. - Projects

12 Jun 2006

...
 >> "SIGOURE" == SIGOURE Benoit
&lt;sigoure.benoit(a)lrde.epita.fr&gt; writes: 
...
     EvalAnd:
 +    |[ d & e ]| -> |[ e ]|
 +    where <not(real-eq)>(d, "0")
 +  EvalAnd:
 +    |[ d & e ]| -> |[ false ]|
 +    where <real-eq>(d, "0")
 +  EvalAnd:
 +    |[ e & d ]| -> |[ e ]|
 +    where <not(real-eq)>(d, "0")
 +  EvalAnd:
 +    |[ e & d ]| -> |[ false ]|
 +    where <real-eq>(d, "0")
 +  EvalAnd:
> [ true & true ]| -> |[ true ]| 
There is no better way to do it?  I think you should traverse & and |
operands trying to evaluate them to Booleans, and then there would
remain only the bool cases.