(self, formula, args, **kwargs)
Recreate the quantifiers, with the rewritten subformula.
Recreate the quantifiers, with the rewritten subformula.
Recreate the quantifiers with the rewritten subformula .
def walk_quantifier(self, formula, args, **kwargs):
        """Recreate the quantifiers, with the rewritten subformula."""
        #pylint: disable=unused-argument
        if formula.is_exists():
            return self.mgr.Exists(formula.quantifier_vars(),
                                   args[0])
        else:
            assert formula.is_forall()
            return self.mgr.ForAll(formula.quantifier_vars(),
                                   args[0])
def walk_quantifier ( self , formula , args , * * kwargs ) : #pylint: disable=unused-argument if formula . is_exists ( ) : return self . mgr . Exists ( formula . quantifier_vars ( ) , args [ 0 ] ) else : assert formula . is_forall ( ) return self . mgr . ForAll ( formula . quantifier_vars ( ) , args [ 0 ] )