def walk_bv_sle(self, formula, args, **kwargs): res = yicespy.yices_bvsle_atom(args[0], args[1]) self._check_term_result(res) return res
def walk_bv_sle (self, formula, args, **kwargs): res = yicespy.yices_bvsle_atom(args[0], args[1]) self._check_term_result(res) return res