jj_manhattan.pin_names# property jj_manhattan.pin_names: set# The names of the pins. Returns: Set of pin names Return type: set