(self, formula)
return
Default function to skip a node and process the children
Default function to skip a node and process the children
Default function to skip a node and process the children
def walk_skip(self, formula):
        """ Default function to skip a node and process the children """
        for s in formula.args():
            yield s
        return
def walk_skip ( self , formula ) : for s in formula . args ( ) : yield s return