Enum splr::state::StagingTarget

pub enum StagingTarget {
    Backbone,
    BestPhases,
    Clear,
}

Phase saving modes.

Variants

Backbone

use decision vars in best phases

BestPhases

use best phases

Clear

unstage all vars.

Trait Implementations

impl Debug for StagingTarget

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

Formats the value using the given formatter.

impl Display for StagingTarget

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

Formats the value using the given formatter.

impl Eq for StagingTarget

impl PartialEq<StagingTarget> for StagingTarget

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for StagingTarget

impl StructuralPartialEq for StagingTarget