Struct cairo_lang_lowering::graph_algorithms::concrete_function_node::ConcreteFunctionWithBodyNode

pub struct ConcreteFunctionWithBodyNode<'a> {
    pub function_id: ConcreteFunctionWithBodyId,
    pub db: &'a dyn LoweringGroup,
}

A node to use in graph-algorithms.

Fields

function_id: ConcreteFunctionWithBodyId

db: &'a dyn LoweringGroup

Trait Implementations

impl<'a> Clone for ConcreteFunctionWithBodyNode<'a>

fn clone(&self) -> ConcreteFunctionWithBodyNode<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> ComputeScc for ConcreteFunctionWithBodyNode<'a>

fn compute_scc(&self) -> Vec<Self::NodeId>

impl<'a> GraphNode for ConcreteFunctionWithBodyNode<'a>

type NodeId = ConcreteFunctionWithBodyId

The type used to identify the nodes in the graph.

fn get_neighbors(&self) -> Vec<Self>

Returns a list of the node’s neighbors. Must be stable for the SCC result to be stable. i.e. if the output for a node here doesn’t change between different runs, the computed SCC of the node is guaranteed to also not change.

fn get_id(&self) -> Self::NodeId

Gets the node’s ID.

fn get_neighbors_in_given_scc( &self, scc: Vec<Self::NodeId, Global> ) -> Vec<Self, Global>

Helper function to get the neighbors of the node, given its SCC. Default-implemented and thus can be used in simple implementations of get_neighbors_in_scc.