Enum AllDifferentEncoding 

pub enum AllDifferentEncoding {
    Pairwise,
    ValueAmo,
}

Library compositions available for allDifferent.

Variants

Pairwise

Pairwise numeric disequalities, for every numeric representation.

ValueAmo

AMO over equal-value indicators; requires choice views for all operands.

Implementations

impl AllDifferentEncoding

pub const ALL: [AllDifferentEncoding; 2]

Algorithms in heuristic and command-line order.

pub const LABELS: [&'static str; 2]

Canonical command-line labels in the same order as ALL.

Trait Implementations

impl Clone for AllDifferentEncoding

fn clone(&self) -> AllDifferentEncoding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AllDifferentEncoding

impl Debug for AllDifferentEncoding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AllDifferentEncoding

fn deserialize<__D>( __deserializer: __D, ) -> Result<AllDifferentEncoding, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for AllDifferentEncoding

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

Formats the value using the given formatter.

impl Eq for AllDifferentEncoding

impl FromStr for AllDifferentEncoding

type Err = String

The associated error which can be returned from parsing.

fn from_str(value: &str) -> Result<AllDifferentEncoding, String>

Parses a string s to return a value of this type.

impl Hash for AllDifferentEncoding

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for AllDifferentEncoding

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AllDifferentEncoding

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AllDifferentEncoding

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte

Size for each variant:

• Pairwise: 0 bytes
• ValueAmo: 0 bytes