Struct DSEExtPassConfig 

pub struct DSEExtPassConfig {
    pub name: String,
    pub phase: DSEExtPassPhase,
    pub enabled: bool,
    pub max_iterations: usize,
    pub debug: u32,
    pub timeout_ms: Option<u64>,
}

Configuration for DSEExt passes.

Fields

name: String

phase: DSEExtPassPhase

enabled: bool

max_iterations: usize

debug: u32

timeout_ms: Option<u64>

Implementations

impl DSEExtPassConfig

pub fn new(name: impl Into<String>) -> Self

pub fn with_phase(self, phase: DSEExtPassPhase) -> Self

pub fn with_max_iter(self, n: usize) -> Self

pub fn with_debug(self, d: u32) -> Self

pub fn disabled(self) -> Self

pub fn with_timeout(self, ms: u64) -> Self

pub fn is_debug_enabled(&self) -> bool

Trait Implementations

impl Clone for DSEExtPassConfig

fn clone(&self) -> DSEExtPassConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DSEExtPassConfig

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

Formats the value using the given formatter.

impl Default for DSEExtPassConfig

fn default() -> Self

Returns the “default value” for a type.