def walk_and(self, formula, args, **kwargs): res = yicespy.yices_and(len(args), args) self._check_term_result(res) return res
def walk_and(self, formula, args, **kwargs): res = yicespy.yices_and(len(args), args) self._check_term_result(res) return res