pub struct SwapMutator<S>where
    S: HasRand,
{ constraints: TermConstraints, phantom_s: PhantomData<S>, }
Expand description

SWAP: Swaps a sub-term with a different sub-term which is part of the trace (such that types match).

Fields§

§constraints: TermConstraints§phantom_s: PhantomData<S>

Implementations§

Trait Implementations§

Mutate a given input
Post-process given the outcome of the execution
Provide the name of this element.

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The Resulting [TupleList], of an [Prepend::prepend()] call, including the prepended entry.
Prepend a value to this tuple, returning a new tuple with prepended value.
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.