Exemplos de ExprModel.toBool em Python

Exemplo n.º 1

    def build(self, btor):
        from vsc.visitors.model_pretty_printer import ModelPrettyPrinter
        cond = ExprModel.toBool(btor, self.cond.build(btor))
        true_c = self.true_c.build(btor)

        if self.false_c == None:
            ret = btor.Implies(cond, true_c)
        else:
            false_c = self.false_c.build(btor)
            ret = btor.Cond(cond, true_c, false_c)

        return ret

Exemplo n.º 2

 def build(self, btor):
     return ExprModel.toBool(btor, self.e.build(btor))

Exemplo n.º 3

Arquivo: constraint_implies_model.py Projeto: fvutils/pyvsc

    def build(self, btor):
        cond = ExprModel.toBool(btor, self.cond.build(btor))
        body = super().build(btor)

        return btor.Implies(cond, body)