Struct DiagnosticsConfig 

pub struct DiagnosticsConfig {
    pub dump_dir: PathBuf,
    pub format: DumpFormat,
    pub categories: HashMap<DiagCategory, IterSpec>,
    pub iterate_variant: IterateVariant,
    pub kkt_variant: KktVariant,
}

Static configuration: where to dump, in what format, with what per-category iter filters. Constructed by the CLI, held by the application, frozen for the duration of a solve.

Fields

dump_dir: PathBuf

format: DumpFormat

categories: HashMap<DiagCategory, IterSpec>

iterate_variant: IterateVariant

Payload-detail for DiagCategory::Iterate. Only consulted when Iterate is in categories.

kkt_variant: KktVariant

Payload-detail for DiagCategory::Kkt. Only consulted when Kkt is in categories.

Implementations

impl DiagnosticsConfig

pub fn new(dump_dir: PathBuf) -> Self

pub fn with_category(self, cat: DiagCategory, spec: IterSpec) -> Self

pub fn with_iterate_variant(self, v: IterateVariant) -> Self

pub fn with_kkt_variant(self, v: KktVariant) -> Self

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for DiagnosticsConfig

fn clone(&self) -> DiagnosticsConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiagnosticsConfig

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

Formats the value using the given formatter.