コード例 #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())