diff options
author | dos-reis <gdr@axiomatics.org> | 2010-12-10 03:13:22 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-12-10 03:13:22 +0000 |
commit | 7730f8fafe5dea4ab3ba8c4659a4d295689e1818 (patch) | |
tree | ed09862b3d0f5c13eacd1b8620444cf32bdf1fc2 /src/interp/br-util.boot | |
parent | 36835d30a3255be49226ecc66c031bedaeafd8a5 (diff) | |
download | open-axiom-7730f8fafe5dea4ab3ba8c4659a4d295689e1818.tar.gz |
cleanup
Diffstat (limited to 'src/interp/br-util.boot')
-rw-r--r-- | src/interp/br-util.boot | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/interp/br-util.boot b/src/interp/br-util.boot index 91007ac8..648c0e18 100644 --- a/src/interp/br-util.boot +++ b/src/interp/br-util.boot @@ -644,5 +644,17 @@ mySort u == listSort(function GLESSEQP,u) +quickAnd(a,b) == + a = true => b + b = true => a + a = false or b = false => false + simpBool ['AND,a,b] + +quickOr(a,b) == + a = true or b = true => true + b = false => a + a = false => b + simpCatPredicate simpBool ['OR,a,b] + |