def walk_forall(self, formula, args, **kwargs):
(bound_formula, var_list) = \
self._rename_bound_variables(args[0], formula.quantifier_vars())
res = yicespy.yices_forall(len(var_list), var_list, bound_formula)
self._check_term_result(res)
return res
def walk_forall(self, formula, args, **kwargs):
(bound_formula, var_list) = \
self._rename_bound_variables(args[0], formula.quantifier_vars())
res = yicespy.yices_forall(len(var_list), var_list, bound_formula)
self._check_term_result(res)
return res