(self, formula, **kwargs)
Default function for a node that is not handled by the Walker.

        This tries to handle the node using the Dynamic Walker
        Function information from the environment. If this fails, then
        an UnsupportedOperatorError exception is given.
Default function for a node that is not handled by the Walker.
Default function for a node that is not handled by the Walker .
def walk_error(self, formula, **kwargs):
        """Default function for a node that is not handled by the Walker.

        This tries to handle the node using the Dynamic Walker
        Function information from the environment. If this fails, then
        an UnsupportedOperatorError exception is given.

        """
        node_type = formula.node_type()
        if node_type in self.env.dwf:
            dwf = self.env.dwf[node_type]
            walker_class = type(self)
            if type(self) in dwf:
                self.functions[node_type] = partial(dwf[walker_class], self)
                return self.functions[node_type](formula, **kwargs)

        node_type = formula.node_type()
        raise pysmt.exceptions.UnsupportedOperatorError(node_type=node_type,
                                                        expression=formula)
def walk_error ( self , formula , * * kwargs ) : node_type = formula . node_type ( ) if node_type in self . env . dwf : dwf = self . env . dwf [ node_type ] walker_class = type ( self ) if type ( self ) in dwf : self . functions [ node_type ] = partial ( dwf [ walker_class ] , self ) return self . functions [ node_type ] ( formula , * * kwargs ) node_type = formula . node_type ( ) raise pysmt . exceptions . UnsupportedOperatorError ( node_type = node_type , expression = formula )