Struct AbstractStateItem

pub struct AbstractStateItem<'tcx> {
    pub value: (Value, Value),
    pub vtype: VType<'tcx>,
    pub state: HashSet<StateType<'tcx>>,
}

Fields

value: (Value, Value)

vtype: VType<'tcx>

state: HashSet<StateType<'tcx>>

Implementations

impl<'tcx> AbstractStateItem<'tcx>

pub fn new( value: (Value, Value), vtype: VType<'tcx>, state: HashSet<StateType<'tcx>>, ) -> Self

pub fn new_default() -> Self

pub fn meet_state_item(&mut self, other_state: &AbstractStateItem<'tcx>)

Trait Implementations

impl<'tcx> Clone for AbstractStateItem<'tcx>

fn clone(&self) -> AbstractStateItem<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for AbstractStateItem<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> PartialEq for AbstractStateItem<'tcx>

fn eq(&self, other: &AbstractStateItem<'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 AbstractStateItem<'tcx>