Ejemplos de twos_complement en Python

Ejemplo n.º 1

Archivo: fnode.py Proyecto: mpreiner/pysmt

 def bv_signed_value(self):
     """Return the signed value encoded by the BitVector."""
     return twos_complement(self.constant_value(), self.bv_width())

Ejemplo n.º 2

Archivo: fnode.py Proyecto: alebugariu/pysmt

 def bv_signed_value(self):
     """Return the signed value encoded by the BitVector."""
     return twos_complement(self.constant_value(), self.bv_width())