| 556 | |
| 557 | |
| 558 | class FieldVector(StdVector): |
| 559 | |
| 560 | def __getitem__(self, index): |
| 561 | """ |
| 562 | Dereference the Field object at this index. |
| 563 | """ |
| 564 | return Field(deref(super().__getitem__(index))) |
| 565 | |
| 566 | def __str__(self): |
| 567 | l = [str(self[i]) for i in range(len(self))] |
| 568 | return "{" + ", ".join(l) + "}" |
| 569 | |
| 570 | |
| 571 | class Field: |