Enum UndoLog 

pub(crate) enum UndoLog<'db> {
    AddVar(RegionVid),
    AddConstraint(usize),
    AddVerify(usize),
    AddCombination(CombineMapType, TwoRegions<'db>),
}

Variants

AddVar(RegionVid)

We added RegionVid.

AddConstraint(usize)

We added the given constraint.

AddVerify(usize)

We added the given verify.

AddCombination(CombineMapType, TwoRegions<'db>)

We added a GLB/LUB “combination variable”.

Trait Implementations

impl<'db> Clone for UndoLog<'db>

fn clone(&self) -> UndoLog<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> From<UndoLog<'db>> for UndoLog<'db>

fn from(x: UndoLog<'db>) -> Self

Converts to this type from the input type.

impl<'db> PartialEq for UndoLog<'db>

fn eq(&self, other: &UndoLog<'db>) -> 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<'db> Rollback<UndoLog<'db>> for RegionConstraintStorage<'db>

fn reverse(&mut self, undo: UndoLog<'db>)

impl<'db> StructuralPartialEq for UndoLog<'db>