Struct smt2parser::renaming::SymbolNormalizerConfig

pub struct SymbolNormalizerConfig {
    pub randomization_space: BTreeMap<SymbolKind, usize>,
    pub randomization_seed: u64,
}

Configuration for SymbolNormalizer.

Fields

randomization_space: BTreeMap<SymbolKind, usize>

For each kind K and value N in the map, the first N local variables of kind K will be assigned a randomized index in the range 0..N. Other variables will be given a sequential index (greater or equal to N).

randomization_seed: u64

Seed for the randomization of local symbols.

Trait Implementations

impl Debug for SymbolNormalizerConfig

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

Formats the value using the given formatter.

impl Default for SymbolNormalizerConfig

fn default() -> SymbolNormalizerConfig

Returns the “default value” for a type.