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, M: Matcher> Mutator<Trace<M>, S> for RemoveAndLiftMutator<S>where
S: HasRand,
impl<S, M: Matcher> Mutator<Trace<M>, S> for RemoveAndLiftMutator<S>where
S: HasRand,
Auto Trait Implementations§
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§
§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.