(self, l: gm.Line, p: gm.Point)
| 678 | yield l + ':' + p1, l + ':' + p2 |
| 679 | |
| 680 | def name(self, l: gm.Line, p: gm.Point) -> str: |
| 681 | v = l.name + ':' + p.name |
| 682 | self.v2obj[v] = (l, p) |
| 683 | return v |
| 684 | |
| 685 | def map2obj(self, names: list[str]) -> list[gm.Point]: |
| 686 | return [self.v2obj[n][1] for n in names] |