def walk_times(self, formula, args, **kwargs): res = yicespy.yices_mul(args[0], args[1]) self._check_term_result(res) return res
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