diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-29 12:40:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-29 12:40:26 +0000 |
commit | 5c205afa0596a29c6e8de395d3b2adbd89e02ae8 (patch) | |
tree | 5df8d5a153daf3f30f01e410426e8b2171a143d5 /src/interp/nrunopt.boot | |
parent | 3e7bfcb3d6be1e4d7ccf3c5db0a78bbc75bad7f7 (diff) | |
download | open-axiom-5c205afa0596a29c6e8de395d3b2adbd89e02ae8.tar.gz |
More support middle end logical operators
Diffstat (limited to 'src/interp/nrunopt.boot')
-rw-r--r-- | src/interp/nrunopt.boot | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/interp/nrunopt.boot b/src/interp/nrunopt.boot index e584bdf3..a18db852 100644 --- a/src/interp/nrunopt.boot +++ b/src/interp/nrunopt.boot @@ -229,7 +229,7 @@ predicateBitIndex x == predicateBitIndexRemop p== --transform attribute predicates taken out by removeAttributePredicates - p is [op,:argl] and op in '(AND and OR or NOT not) => + p is [op,:argl] and op in '(AND and %and OR or %or NOT not %not) => simpBool makePrefixForm([predicateBitIndexRemop x for x in argl],op) p is ["has",'$,['ATTRIBUTE,a]] => LASSOC(a,$NRTattributeAlist) p @@ -276,12 +276,13 @@ augmentPredVector(dollar,value) == isHasDollarPred pred == pred is [op,:r] => - op in '(AND and OR or NOT not) => or/[isHasDollarPred x for x in r] + op in '(AND and %and OR or %or NOT not %not) => + or/[isHasDollarPred x for x in r] op in '(HasCategory HasAttribute) => first r = '$ false stripOutNonDollarPreds pred == - pred is [op,:r] and op in '(AND and OR or NOT not) => + pred is [op,:r] and op in '(AND and %and OR or %or NOT not %not) => "append"/[stripOutNonDollarPreds x for x in r] not isHasDollarPred pred => [pred] nil @@ -289,7 +290,7 @@ stripOutNonDollarPreds pred == removeAttributePredicates pl == [fn p for p in pl] where fn p == - p is [op,:argl] and op in '(AND and OR or NOT not) => + p is [op,:argl] and op in '(AND and %and OR or %or NOT not %not) => makePrefixForm(fnl argl,op) p is ["has",'$,['ATTRIBUTE,a]] => sayBrightlyNT '"Predicate: " |