invalidatePortIndex method
Invalidate the cached port→hyperedge index (e.g. after modifying
hyperedges).
Implementation
void invalidatePortIndex() {
_portHyperedgeIndex = null;
}Invalidate the cached port→hyperedge index (e.g. after modifying
hyperedges).
void invalidatePortIndex() {
_portHyperedgeIndex = null;
}