GridWorld.set_area_name#

GridWorld.set_area_name(area, name)[source]#

Set an alias name for an area.

Can be used to reset the alias name of an area.

Parameters:

  • area (int or str) – Index or name of the area to set name.

  • name (str) – Name of the area to be set.

Examples

>>> W = GridWorld()
>>> W.add_area((2, 2))
>>> W.set_area_name(1, "Up")