Enum term_rewriting::MergeStrategy

pub enum MergeStrategy {
    SameOperators,
    OperatorsByArityAndName,
    DistinctOperators,
}

Specifies how to merge two signatures. See Signature::merge.

Variants

SameOperators

Operators won't be added to the signature: this must mean all operators were added in the same order for both signatures.

OperatorsByArityAndName

Operators are added to the signature only when there is no existing operator with the same arity and name.

DistinctOperators

Operators are always added distinctly: no operators associated with the first signature will every equate to those associated with the second signature.

Trait Implementations

impl Debug for MergeStrategy

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for MergeStrategy

impl Clone for MergeStrategy

fn clone(&self) -> MergeStrategy

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for MergeStrategy

fn eq(&self, __arg_0: &MergeStrategy) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for MergeStrategy