Method add_zombie_vertex

atomic-core/src/apply/workspace.rs:619–621

Record a zombie span by its span.

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

    /// Record a zombie span by its span.
    pub fn add_zombie_vertex(&mut self, node: GraphNode<NodeId>) {
        self.zombies.push(Zombie::new(node));
    }

    /// Get all zombies.
    pub fn zombies(&self) -> &[Zombie] {