Method mark_edge_deleted

atomic-core/src/apply/workspace.rs:543–545

Mark an edge as deleted.

(&mut self, from: Position<NodeId>, to: Position<NodeId>)

    /// Mark an edge as deleted.
    pub fn mark_edge_deleted(&mut self, from: Position<NodeId>, to: Position<NodeId>) {
        self.deleted_edges.insert((from, to));
    }

    /// Check if an edge is marked as deleted.
    pub fn is_edge_deleted(&self, from: &Position<NodeId>, to: &Position<NodeId>) -> bool {