Ejemplo n.º 1
0
 def walk_and(self, formula, args, **kwargs):
     res = yicespy.yices_and(len(args), args)
     self._check_term_result(res)
     return res
Ejemplo n.º 2
0
 def walk_and(self, formula, args, **kwargs):
     res = yicespy.yices_and(len(args), args)
     self._check_term_result(res)
     return res