Python twos_complement Examples

Example #1

File: fnode.py Project: mpreiner/pysmt

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

Example #2

File: fnode.py Project: alebugariu/pysmt

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