Resolve a previously inserted current-change vertex from workspace state.
(
&self,
pos: Position<NodeId>,
is_predecessor: bool,
)
| 500 | |
| 501 | /// Resolve a previously inserted current-change vertex from workspace state. |
| 502 | pub fn get_current_vertex( |
| 503 | &self, |
| 504 | pos: Position<NodeId>, |
| 505 | is_predecessor: bool, |
| 506 | ) -> Option<GraphNode<NodeId>> { |
| 507 | if is_predecessor { |
| 508 | self.current_vertices_by_end.get(&pos).copied() |
| 509 | } else { |
| 510 | self.current_vertices_by_start.get(&pos).copied() |
| 511 | } |
| 512 | } |
| 513 | |
| 514 | // Edge Management |
| 515 |