Struct puffin::fuzzer::mutations::RemoveAndLiftMutator
source · pub struct RemoveAndLiftMutator<S>where
S: HasRand,{
constraints: TermConstraints,
phantom_s: PhantomData<S>,
}
Expand description
REMOVE AND LIFT: Removes a sub-term from a term and attaches orphaned children to the parent (such that types match). This only works if there is only a single child.
Fields§
§constraints: TermConstraints
§phantom_s: PhantomData<S>
Implementations§
source§impl<S> RemoveAndLiftMutator<S>where
S: HasRand,
impl<S> RemoveAndLiftMutator<S>where
S: HasRand,
pub fn new(constraints: TermConstraints) -> Self
Trait Implementations§
source§impl<S, PT: ProtocolTypes> Mutator<Trace<PT>, S> for RemoveAndLiftMutator<S>where
S: HasRand,
impl<S, PT: ProtocolTypes> Mutator<Trace<PT>, S> for RemoveAndLiftMutator<S>where
S: HasRand,
Auto Trait Implementations§
impl<S> Freeze for RemoveAndLiftMutator<S>
impl<S> RefUnwindSafe for RemoveAndLiftMutator<S>where
S: RefUnwindSafe,
impl<S> Send for RemoveAndLiftMutator<S>where
S: Send,
impl<S> Sync for RemoveAndLiftMutator<S>where
S: Sync,
impl<S> Unpin for RemoveAndLiftMutator<S>where
S: Unpin,
impl<S> UnwindSafe for RemoveAndLiftMutator<S>where
S: UnwindSafe,
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
§impl<Tail, T> Prepend<T> for Tail
impl<Tail, T> Prepend<T> for Tail
§type PreprendResult = Tail
type PreprendResult = Tail
The Resulting [
TupleList
], of an [Prepend::prepend()
] call,
including the prepended entry.