예제 #1
0
파일: fnode.py 프로젝트: mpreiner/pysmt 
 def bv_signed_value(self):
     """Return the signed value encoded by the BitVector."""
     return twos_complement(self.constant_value(), self.bv_width())
예제 #2
0
파일: fnode.py 프로젝트: alebugariu/pysmt 
 def bv_signed_value(self):
     """Return the signed value encoded by the BitVector."""
     return twos_complement(self.constant_value(), self.bv_width())