예제 #1
0
    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
0
 def build(self, btor):
     raise Exception("")
     ExprModel.build(self, btor)