Enum term_rewriting::MergeStrategy
[−]
[src]
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
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl Copy for MergeStrategy
[src]
impl Clone for MergeStrategy
[src]
fn clone(&self) -> MergeStrategy
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl PartialEq for MergeStrategy
[src]
fn eq(&self, __arg_0: &MergeStrategy) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests for !=
.