Method add_down_context_vertex

atomic-core/src/apply/workspace.rs:452–454

Add a resolved successor vertex for the current insertion.

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

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

    /// Get all up-context positions.
    pub fn predecessors(&self) -> &[Position<NodeId>] {