Struct PathInfo

pub struct PathInfo<'tcx> {
    pub state_map: HashMap<usize, AbstractStateItem<'tcx>>,
}

Fields

state_map: HashMap<usize, AbstractStateItem<'tcx>>

Implementations

impl<'tcx> PathInfo<'tcx>

pub fn new() -> Self

pub fn insert_abstate( &mut self, place: usize, place_state_item: AbstractStateItem<'tcx>, )

Trait Implementations

impl<'tcx> PartialEq for PathInfo<'tcx>

fn eq(&self, other: &PathInfo<'tcx>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> StructuralPartialEq for PathInfo<'tcx>