示例#1
0
文件： yices.py 项目： 0Chuzz/pysmt 
 def walk_times(self, formula, args, **kwargs):
     res = yicespy.yices_mul(args[0], args[1])
     self._check_term_result(res)
     return res
示例#2
0
 def walk_times(self, formula, args, **kwargs):
     res = args[0]
     for x in args[1:]:
         res = yicespy.yices_mul(res, x)
         self._check_term_result(res)
     return res
示例#3
0
文件： yices.py 项目： agriggio/pysmt 
 def walk_times(self, formula, args, **kwargs):
     res = args[0]
     for x in args[1:]:
         res = yicespy.yices_mul(res, x)
         self._check_term_result(res)
     return res