jj_manhattan.pin_names

property jj_manhattan.pin_names: set

The names of the pins.

Returns:

Set of pin names

Return type:

set