(self, nodetype, walker, function)
Dynamically bind the given function to the walker for the nodetype.

        This function enables the extension of walkers for new
        nodetypes. When introducing a new nodetype, we link a new
        function to a given walker, so that the walker will be able to
        handle the new nodetype.

        See :py:meth:`pysmt.walkers.generic.Walker.walk_error` for
        more information.
Dynamically bind the given function to the walker for the nodetype.
Dynamically bind the given function to the walker for the nodetype .
def add_dynamic_walker_function(self, nodetype, walker, function):
        """Dynamically bind the given function to the walker for the nodetype.

        This function enables the extension of walkers for new
        nodetypes. When introducing a new nodetype, we link a new
        function to a given walker, so that the walker will be able to
        handle the new nodetype.

        See :py:meth:`pysmt.walkers.generic.Walker.walk_error` for
        more information.
        """
        # self.dwf is a map of maps: {nodetype, {walker: function}}
        if nodetype not in self.dwf:
            self.dwf[nodetype] = {}

        assert walker not in self.dwf[nodetype], "Redefinition"
        self.dwf[nodetype][walker] = function
def add_dynamic_walker_function ( self , nodetype , walker , function ) : # self.dwf is a map of maps: {nodetype, {walker: function}} if nodetype not in self . dwf : self . dwf [ nodetype ] = { } assert walker not in self . dwf [ nodetype ] , "Redefinition" self . dwf [ nodetype ] [ walker ] = function