(self, formula, **kwargs)
Add children to the stack.
Add children to the stack.
Add children to the stack .
def _push_with_children_to_stack(self, formula, **kwargs):
        """Add children to the stack."""

        # Deal with quantifiers
        if formula.is_quantifier():
            # 1. We invoke the relevant function (walk_exists or
            #    walk_forall) to print the formula
            fun = self.functions[formula.node_type()]
            res = fun(formula, args=None, **kwargs)

            # 2. We memoize the result
            key = self._get_key(formula, **kwargs)
            self.memoization[key] = res
        else:
            DagWalker._push_with_children_to_stack(self, formula, **kwargs)
def _push_with_children_to_stack ( self , formula , * * kwargs ) : # Deal with quantifiers if formula . is_quantifier ( ) : # 1. We invoke the relevant function (walk_exists or #    walk_forall) to print the formula fun = self . functions [ formula . node_type ( ) ] res = fun ( formula , args = None , * * kwargs ) # 2. We memoize the result key = self . _get_key ( formula , * * kwargs ) self . memoization [ key ] = res else : DagWalker . _push_with_children_to_stack ( self , formula , * * kwargs )