pub struct VmTrace(/* private fields */);Expand description
A trace captured by a VM evaluation
This is a thin wrapper around a Vec<Choice>.
Implementations§
Source§impl VmTrace
impl VmTrace
Sourcepub fn resize(&mut self, n: usize, v: Choice)
pub fn resize(&mut self, n: usize, v: Choice)
Resizes the trace, using the new value if it needs to be extended
Sourcepub fn as_mut_slice(&mut self) -> &mut [Choice]
pub fn as_mut_slice(&mut self) -> &mut [Choice]
Returns the inner choice slice as a mutable reference
Sourcepub fn as_mut_ptr(&mut self) -> *mut Choice
pub fn as_mut_ptr(&mut self) -> *mut Choice
Returns a pointer to the allocated choice array
Trait Implementations§
impl Eq for VmTrace
impl StructuralPartialEq for VmTrace
Auto Trait Implementations§
impl Freeze for VmTrace
impl RefUnwindSafe for VmTrace
impl Send for VmTrace
impl Sync for VmTrace
impl Unpin for VmTrace
impl UnsafeUnpin for VmTrace
impl UnwindSafe for VmTrace
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.