Enum MutationKind 

pub enum MutationKind {
    Negate,
    WrapExists,
    WrapForall,
    AndWith,
    OrWith,
    ReplaceSubexpr,
    Duplicate,
}

Mutation operations for expressions.

Variants

Negate

Negate the expression

WrapExists

Wrap in existential quantifier

WrapForall

Wrap in universal quantifier

AndWith

Add conjunction with random expression

OrWith

Add disjunction with random expression

ReplaceSubexpr

Replace a subexpression

Duplicate

Duplicate expression (wrap in AND with self)

Trait Implementations

impl Clone for MutationKind

fn clone(&self) -> MutationKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MutationKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for MutationKind

fn eq(&self, other: &MutationKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for MutationKind

impl Eq for MutationKind

impl StructuralPartialEq for MutationKind