GraphBuilder.rename()

GraphBuilder.rename()#

GraphBuilder.rename(pattern, replacement)[source]#

Renames all nodes and variables in the graph.

Return type:

GraphBuilder