Trait aquascope::analysis::stepper::Difference

pub trait Difference {
    type Diff;

    // Required method
    fn diff(&self, rhs: Self) -> Self::Diff;
}

Required Associated Types

type Diff

Required Methods

fn diff(&self, rhs: Self) -> Self::Diff

Implementations on Foreign Types

impl Difference for bool

type Diff = ValueStep<bool>

fn diff(&self, rhs: bool) -> Self::Diff

impl<A: Stepable> Difference for Option<A>

type Diff = ValueStep<A>

fn diff(&self, rhs: Option<A>) -> Self::Diff

Implementors

impl Difference for Permissions

type Diff = PermissionsDiff

impl Difference for PermissionsData

type Diff = PermissionsDataDiff

impl<'tcx> Difference for &PermissionsDomain<'tcx>

type Diff = HashMap<Place<'tcx>, PermissionsDataDiff, BuildHasherDefault<FxHasher>>