(self, formula, **kwargs)
return self.memoization[res_key]
Performs an iterative walk of the DAG
Performs an iterative walk of the DAG
Performs an iterative walk of the DAG
def iter_walk(self, formula, **kwargs):
        """Performs an iterative walk of the DAG"""
        self.stack.append((False, formula))
        self._process_stack(**kwargs)
        res_key = self._get_key(formula, **kwargs)
        return self.memoization[res_key]
def iter_walk ( self , formula , * * kwargs ) : self . stack . append ( ( False , formula ) ) self . _process_stack ( * * kwargs ) res_key = self . _get_key ( formula , * * kwargs ) return self . memoization [ res_key ]