Struct ShortestPathStrategy 

pub struct ShortestPathStrategy { /* private fields */ }

Implementations

impl ShortestPathStrategy

pub fn compute_for(program: &Program) -> Result<Self>

pub fn write_cfg_with_distances_to_file<P>(&self, path: P) -> Result<()>

where P: AsRef<Path>,

pub fn distances(&self) -> &HashMap<NodeIndex, u64>

pub fn create_cfg_with_distances( &self, ) -> Graph<(Instruction, Option<u64>), Option<ProcedureCallId>>

Trait Implementations

impl Debug for ShortestPathStrategy

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

Formats the value using the given formatter.

impl Display for ShortestPathStrategy

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

Formats the value using the given formatter.

impl ExplorationStrategy for ShortestPathStrategy

fn choose_path(&self, branch1: u64, branch2: u64) -> u64