示例#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())