Method add_up_context_vertex

atomic-core/src/apply/workspace.rs:447–449

Add a resolved predecessor vertex for the current insertion.

(&mut self, node: GraphNode<NodeId>)

    /// Add a resolved predecessor vertex for the current insertion.
    pub fn add_up_context_vertex(&mut self, node: GraphNode<NodeId>) {
        self.predecessor_vertices.push(node);
    }

    /// Add a resolved successor vertex for the current insertion.
    pub fn add_down_context_vertex(&mut self, node: GraphNode<NodeId>) {