Exemplos de to_python_integer em Python

Exemplo n.º 1

Arquivo: test_constants.py Projeto: agriggio/pysmt

    def test_to_python_integer(self):
        from fractions import Fraction as pyFraction

        res = long(4) if PY2 else int(4)
        self.assertEqual(res, to_python_integer(pysmt_integer_from_integer(4)))
        self.assertEqual(res, to_python_integer(pysmt_integer_from_integer(Integer(4))))
        self.assertEqual(res, to_python_integer(pysmt_integer_from_integer(Fraction(4))))
        self.assertEqual(res, to_python_integer(pysmt_integer_from_integer(pyFraction(4))))

Exemplo n.º 2

Arquivo: test_constants.py Projeto: SE-Researcher/ASE2018

 def test_to_python_integer(self):
     res = long(4) if PY2 else int(4)
     self.assertEqual(res, to_python_integer(pysmt_integer_from_integer(4)))
     self.assertEqual(
         res, to_python_integer(pysmt_integer_from_integer(Integer(4))))
     self.assertEqual(
         res, to_python_integer(pysmt_integer_from_integer(Fraction(4))))
     self.assertEqual(
         res, to_python_integer(pysmt_integer_from_integer(pyFraction(4))))

Exemplo n.º 3

 def walk_bv_constant(self, formula, **kwargs):
     value = to_python_integer(formula.constant_value())
     width = formula.bv_width()
     return self._btor.Const(value, width)

Exemplo n.º 4

Arquivo: btor.py Projeto: mpreiner/pysmt

 def walk_bv_constant(self, formula, **kwargs):
     value = to_python_integer(formula.constant_value())
     width = formula.bv_width()
     return self._btor.Const(value, width)