(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."""
        self.stack.append((True, formula))
        for s in self._get_children(formula):
            # Add only if not memoized already
            key = self._get_key(s, **kwargs)
            if key not in self.memoization:
                self.stack.append((False, s))
def _push_with_children_to_stack ( self , formula , * * kwargs ) : self . stack . append ( ( True , formula ) ) for s in self . _get_children ( formula ) : # Add only if not memoized already key = self . _get_key ( s , * * kwargs ) if key not in self . memoization : self . stack . append ( ( False , s ) )