コード例 #1
0
 def walk_bv_srem(self, formula, args, **kwargs):
     res = yicespy.yices_bvsrem(args[0], args[1])
     self._check_term_result(res)
     return res
コード例 #2
0
ファイル: yices.py プロジェクト: 0Chuzz/pysmt 
 def walk_bv_srem (self, formula, args, **kwargs):
     res = yicespy.yices_bvsrem(args[0], args[1])
     self._check_term_result(res)
     return res