(self, formula, args, **kwargs)
return True
Returns True, independently from the children's value.
Returns True, independently from the children's value.
Returns True independently from the children s value .
def walk_true(self, formula, args, **kwargs):
        #pylint: disable=unused-argument
        """ Returns True, independently from the children's value."""
        return True
def walk_true ( self , formula , args , * * kwargs ) : #pylint: disable=unused-argument return True