Struct AnalysisOptions 

pub struct AnalysisOptions {
    pub cdc_confidence_floor: CdcConfidence,
    pub dpi_default: DpiVpiTag,
    pub max_partition_merge_passes: u32,
}

Task 8 (and harness Task 18 / VF-116, whose duplicate definition was folded into this one at the harness merge): the knobs analyze() takes. Default is the fail-closed configuration ARCHITECTURE §6.5 requires verbatim: a CDC classification below cdc_confidence_floor must degrade to a partition merge rather than stay a directed edge, and an unclassifiable DPI/VPI call defaults to the most conservative tag (Barrier), never Pure.

Fields

cdc_confidence_floor: CdcConfidence

dpi_default: DpiVpiTag

max_partition_merge_passes: u32

Trait Implementations

impl Clone for AnalysisOptions

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AnalysisOptions

impl Debug for AnalysisOptions

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

Formats the value using the given formatter.

impl Default for AnalysisOptions

fn default() -> Self

Returns the “default value” for a type.