Struct CflReachabilityAnalysis 

pub struct CflReachabilityAnalysis {
    pub graph: Vec<Vec<(u32, String)>>,
    pub num_nodes: usize,
}

CFL-Reachability alias analysis

Fields

graph: Vec<Vec<(u32, String)>>

num_nodes: usize

Implementations

impl CflReachabilityAnalysis

pub fn new(n: usize) -> Self

pub fn add_edge(&mut self, from: u32, to: u32, label: &str)

pub fn reachable(&self, src: u32, dst: u32) -> bool

Trait Implementations

impl Debug for CflReachabilityAnalysis

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CflReachabilityAnalysis

fn default() -> CflReachabilityAnalysis

Returns the “default value” for a type.