Python ExprModel.buildの例

コード例 #1

    def build(self, btor: Boolector):
        ret = None

        if self.op == UnaryExprType.Not:
            ret = btor.Not(self.expr.build(btor))

        return ret
        ExprModel.build(self, btor)

コード例 #2

 def build(self, btor):
     raise Exception("")
     ExprModel.build(self, btor)