嵌套表达式评估器

Question

我想制作一个带有pyparsing的表达式评估器，如下所示：

要解析的字符串应使用〜＆amp;|具有某些格式字符串的符号（不和或使用此优先顺序）（现在只有单个字母，a至z），每个字母通过自定义功能（假设F）评估到布尔值列表，并且〜＆amp;|每个布尔列表的操作应点数应用。

即

a=[True, False] -> a=[True, False]
a=[True, False] -> ~a=[False, True]
a=[True, False] -> ~~a=[True, False]
a=[True, False] -> (((a)))=[True, False]
a=[True, False], b=[False,False], c=[True, True] -> ((a|b)&(~c))=[False, False]

到任何嵌套级别。

任何建议都将受到赞赏。

编辑：在阅读了评论以及评论作者出版的电子书"开始使用pyparsing"（O'Reilly）之后，我到了这里：

class UnaryOperation(object):
    def __init__(self, tokens):
        self.operator, self.operand = tokens[0]
class BinaryOperation(object):
    def __init__(self, tokens):
        self.operator = tokens[0][1]
        self.operands = tokens[0][0::2]
class SearchNot(UnaryOperation):
    def generateExpression(self):
        return u'~{}'.format(self.operand.generateExpression())
class SearchAnd(BinaryOperation):
    def generateExpression(self):
        return u'({})'.format('&'.join(op.generateExpression() for op in self.operands))
class SearchOr(BinaryOperation):
    def generateExpression(self):
        return u'({})'.format('|'.join(op.generateExpression() for op in self.operands))
class ConditionString(object):
    def __init__(self, tokens):
        self.term = tokens[0]
    def generateExpression(self):
        return str(mapper(self.term))
def mapper(input_string):
    p = True
    q = False
    r = True
    d = {u'b_1':[p,q,r],
     u'a_1':[r,q,q],
     u'c2':[p,p,r],
     u'a1':[q,q,r],
     u'a':[r,r,p],
     u'd1':[q,p,p]}
    return d[input_string] if input_string in d.keys() else 3*[True]

qname = Word(alphas+u'_', alphanums+u'_')
expression = operatorPrecedence(qname.setParseAction(ConditionString),
                                [(u'~', 1, opAssoc.RIGHT, SearchNot),
                                 (u'&', 2, opAssoc.LEFT, SearchAnd),
                                 (u'|', 2, opAssoc.LEFT, SearchOr)])
tests = [
         u'b_1',
         u'~a_1',
         u'b_1&~c2',
         u'~a1|(a&(((c2|d_1))))',
         u'a&a1&b_1|c2'
            ]
for t in tests:
    try:
        evalStack = (expression + stringEnd).parseString(t)[0]
    except ParseException, pe:
        print "Invalid search string"
        continue
    evalExpr = evalStack.generateExpression()
    print "Eval expr: ", evalExpr

将打印出

Eval expr:  [True, False, True]
Eval expr:  ~[True, False, False]
Eval expr:  ([True, False, True]&~[True, True, True])
Eval expr:  (~[False, False, True]|([True, True, True]&([True, True, True]|[True, True, True])))
Eval expr:  (([True, True, True]&[False, False, True]&[True, False, True])|[True, True, True])

类似于第59-60页中的示例中的哪个，但是我们如何以类似的方式与使用的eRET（但用于集合）以类似的方式进行？

Answer 1

添加评估将eval()方法添加到您的每个类中。每个eval（）方法将在您的布尔列表上执行相应的操作：

list_wise_op(op, operands):
    return [op(a_b) for a_b in zip(operands)]
# ConditionString
    def eval(self):
        return mapper(self.term)
#SearchNot
    def eval(self):
        return [not x for x in self.operand.eval()]
# SearchAnd
    def eval(self):
        return list_wise_op(all, [op.eval() for op in self.operands])
# SearchOr
    def eval(self):
        return list_wise_op(any, [op.eval() for op in self.operands])

现在您应该能够致电evalstack.eval()。