Delete the PETSc vector if it was created.
(self)
| 70 | self._petsc_x = None |
| 71 | |
| 72 | def __del__(self): |
| 73 | """Delete the PETSc vector if it was created.""" |
| 74 | if self._petsc_x is not None: |
| 75 | self._petsc_x.destroy() |
| 76 | |
| 77 | @property |
| 78 | def index_map(self) -> IndexMap: |
nothing calls this directly
no outgoing calls
no test coverage detected