Enum PbEncoding 

pub enum PbEncoding {
    RustsatGeneralizedTotalizer,
    RustsatBinaryAdder,
    PindakaasBdd,
    RustsatDynamicPolyWatchdog,
    PindakaasSwc,
}

Provider and algorithm for signed weighted pseudo-Boolean constraints.

Variants

RustsatGeneralizedTotalizer

RustsatBinaryAdder

PindakaasBdd

RustsatDynamicPolyWatchdog

PindakaasSwc

Implementations

impl PbEncoding

pub const ALL: [PbEncoding; 5]

Algorithms in heuristic and command-line order.

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

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

Trait Implementations

impl Clone for PbEncoding

fn clone(&self) -> PbEncoding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PbEncoding

impl Debug for PbEncoding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PbEncoding

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for PbEncoding

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

Formats the value using the given formatter.

impl Eq for PbEncoding

impl FromStr for PbEncoding

type Err = String

The associated error which can be returned from parsing.

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

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

impl Hash for PbEncoding

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 PbEncoding

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for PbEncoding

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 PbEncoding

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:

• RustsatGeneralizedTotalizer: 0 bytes
• RustsatBinaryAdder: 0 bytes
• PindakaasBdd: 0 bytes
• RustsatDynamicPolyWatchdog: 0 bytes
• PindakaasSwc: 0 bytes