[−][src]Struct c2rust_refactor::analysis::ownership::constraint::EditConstraintSet
Editing cursor, for visiting every constraint while adding/removing as you go.
Methods
impl<'a, 'lty> EditConstraintSet<'a, 'lty>[src]
pub fn next(&mut self) -> Option<(Perm<'lty>, Perm<'lty>)>[src]
Obtain the next constraint if there are any left to be processed.
pub fn add(&mut self, a: Perm<'lty>, b: Perm<'lty>)[src]
Add a new constraint. If the constraint didn't already exist, it will be queued up to be visited in the future.
pub fn add_no_visit(&mut self, a: Perm<'lty>, b: Perm<'lty>)[src]
Add a constraint, but never queue it up for future visiting.
pub fn remove(&mut self, a: Perm<'lty>, b: Perm<'lty>)[src]
Remove a constraint.
Auto Trait Implementations
impl<'a, 'lty> Send for EditConstraintSet<'a, 'lty>
impl<'a, 'lty> Sync for EditConstraintSet<'a, 'lty>
Blanket Implementations
impl<T> Lone for T[src]
impl<T> From for T[src]
impl<T, U> Into for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T> Borrow for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T, U> TryInto for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<E> SpecializationError for E[src]
default fn not_found<S, T>(
trait_name: &'static str,
method_name: &'static str
) -> E where
T: ?Sized, [src]
trait_name: &'static str,
method_name: &'static str
) -> E where
T: ?Sized,
impl<T> Erased for T[src]
impl<T> Send for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Sync for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Same for T
type Output = T
Should always be Self
impl<T> MaybeResult for T[src]
impl<'a, T> Captures for T where
T: ?Sized, [src]
T: ?Sized,