Struct Directives 

pub struct Directives {
    pub prob_engine: Option<ProbEngine>,
    pub prob_cache: Option<ProbCache>,
    pub prob_samples: Option<usize>,
    pub prob_seed: Option<u64>,
    pub prob_confidence: Option<f64>,
    pub prob_method: Option<ProbMethod>,
    pub prob_max_nonmonotone_iterations: Option<usize>,
    pub max_recursion_depth: Option<u32>,
    pub epistemic_mode: Option<EpistemicMode>,
    pub magic_sets: Option<MagicSetsMode>,
}

Compilation/evaluation directives (e.g., #pragma ...).

Fields

prob_engine: Option<ProbEngine>

Override for the probabilistic inference engine.

prob_cache: Option<ProbCache>

Override for circuit caching.

prob_samples: Option<usize>

Monte Carlo sample count.

prob_seed: Option<u64>

Monte Carlo deterministic RNG seed.

prob_confidence: Option<f64>

Monte Carlo confidence level.

prob_method: Option<ProbMethod>

Monte Carlo sampling method.

prob_max_nonmonotone_iterations: Option<usize>

Maximum nonmonotone MC iterations.

max_recursion_depth: Option<u32>

Maximum UDF recursion depth.

epistemic_mode: Option<EpistemicMode>

Override for epistemic semantics.

magic_sets: Option<MagicSetsMode>

Magic-set rewrite mode.

Implementations

impl Directives

pub fn prob_engine_or_default(&self) -> ProbEngine

Return the configured prob engine, defaulting to ExactDdnnf.

pub fn max_recursion_depth_or_default(&self) -> u32

Return the configured max recursion depth, defaulting to 1000.

pub fn epistemic_mode_or_default(&self) -> EpistemicMode

Return the configured epistemic mode, defaulting to FAEEL.

pub fn prob_samples_or_default(&self) -> usize

Return the configured MC sample count, defaulting to 10000.

pub fn prob_seed_or_default(&self) -> u64

Return the configured MC seed, defaulting to 0.

pub fn prob_confidence_or_default(&self) -> f64

Return the configured MC confidence, defaulting to 0.95.

pub fn prob_max_nonmonotone_iterations_or_default(&self) -> usize

Return the configured nonmonotone MC iteration cap, defaulting to 1024.

Trait Implementations

impl Clone for Directives

fn clone(&self) -> Directives

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Directives

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

Formats the value using the given formatter.

impl Default for Directives

fn default() -> Directives

Returns the “default value” for a type.

impl PartialEq for Directives

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Directives