original_docstring: rename symbols in a given way
docstring: rename symbols in a given way
docstring_tokens: rename symbols in a given way
code: def remap_symbols(self, symbol_map: Dict[str, str]) -> None:
          """rename symbols in a given way"""
          for op_label, operation in self.operations.items():
              if isinstance(next(iter(operation.items()))[1], Dict):
                  new_table: CayleyTable = {}
                  for one in symbol_map.keys():
                      new_table[symbol_map[one]] = {}
                      for two in symbol_map.keys():
                          new_table[symbol_map[one]][
                              symbol_map[two]
                          ] = symbol_map[operation[one][two]]
                  self.operations[op_label] = new_table
              else:
                  new_op: Dict[str, str] = {}
                  for one in symbol_map.keys():
                      new_op[symbol_map[one]] = symbol_map[operation[one]]
                  self.operations[op_label] = new_op
code_tokens: def remap_symbols ( self , symbol_map : Dict [ str , str ] ) -> None : for op_label , operation in self . operations . items ( ) : if isinstance ( next ( iter ( operation . items ( ) ) ) [ 1 ] , Dict ) : new_table : CayleyTable = { } for one in symbol_map . keys ( ) : new_table [ symbol_map [ one ] ] = { } for two in symbol_map . keys ( ) : new_table [ symbol_map [ one ] ] [ symbol_map [ two ] ] = symbol_map [ operation [ one ] [ two ] ] self . operations [ op_label ] = new_table else : new_op : Dict [ str , str ] = { } for one in symbol_map . keys ( ) : new_op [ symbol_map [ one ] ] = symbol_map [ operation [ one ] ] self . operations [ op_label ] = new_op
short_docstring: rename symbols in a given way
short_docstring_tokens: rename symbols in a given way
comment: """rename symbols in a given way"""