Struct AndersenSolver2 

pub struct AndersenSolver2 {
    pub constraints: Vec<AndersenConstraint2>,
    pub points_to: HashMap<u32, PointsToSet>,
    pub worklist: Vec<u32>,
}

Andersen constraint solver

Fields

constraints: Vec<AndersenConstraint2>

points_to: HashMap<u32, PointsToSet>

worklist: Vec<u32>

Implementations

impl AndersenSolver2

pub fn new() -> Self

pub fn add_constraint(&mut self, c: AndersenConstraint2)

pub fn get_points_to(&self, var: u32) -> PointsToSet

pub fn add_to_points_to(&mut self, var: u32, loc: MemLocation) -> bool

pub fn solve(&mut self)

Trait Implementations

impl Debug for AndersenSolver2

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

Formats the value using the given formatter.

impl Default for AndersenSolver2

fn default() -> AndersenSolver2

Returns the “default value” for a type.