12 Jun
2006
12 Jun
'06
4:07 p.m.
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> 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.