Enum RephasingStrategy 

pub enum RephasingStrategy {
    Original,
    Inverted,
    Random,
    False,
    True,
    Best,
    Walk,
}

Rephasing strategy

Variants

Original

Use original polarity from formula (positive literals)

Inverted

Invert all current phases

Random

Assign random phases

False

Set all phases to false

True

Set all phases to true

Best

Use phases from best assignment found so far

Walk

Use phases from local search or random walk

Trait Implementations

impl Clone for RephasingStrategy

fn clone(&self) -> RephasingStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RephasingStrategy

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

Formats the value using the given formatter.

impl PartialEq for RephasingStrategy

fn eq(&self, other: &RephasingStrategy) -> 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 RephasingStrategy

impl Eq for RephasingStrategy

impl StructuralPartialEq for RephasingStrategy