Struct LocyConfig 

pub struct LocyConfig {

    pub max_iterations: usize,
    pub timeout: Duration,
    pub max_explain_depth: usize,
    pub max_slg_depth: usize,
    pub max_abduce_candidates: usize,
    pub max_abduce_results: usize,
    pub max_derived_bytes: usize,
    pub deterministic_best_by: bool,
    pub strict_probability_domain: bool,
    pub probability_epsilon: f64,
    pub exact_probability: bool,
    pub max_bdd_variables: usize,
    pub top_k_proofs: usize,
    pub top_k_proofs_training: Option<usize>,
    pub params: HashMap<String, Value>,
}

Configuration for the Locy orchestrator.

Fields

max_iterations: usize

Maximum fixpoint iterations per recursive stratum.

timeout: Duration

Overall evaluation timeout.

max_explain_depth: usize

Maximum recursion depth for EXPLAIN derivation trees.

max_slg_depth: usize

Maximum recursion depth for SLG resolution.

max_abduce_candidates: usize

Maximum candidate modifications to generate during ABDUCE.

max_abduce_results: usize

Maximum validated results to return from ABDUCE.

max_derived_bytes: usize

Maximum bytes of derived facts to hold in memory per relation.

deterministic_best_by: bool

When true, BEST BY applies a secondary sort on remaining columns for deterministic tie-breaking. Set to false for non-deterministic (faster) selection.

strict_probability_domain: bool

When true, MNOR/MPROD reject values outside [0,1] with an error instead of clamping. When false (default), values are clamped silently.

probability_epsilon: f64

Underflow threshold for MPROD log-space switch (spec §5.3).

When the running product drops below this value, product_f64 switches to log-space accumulation to prevent floating-point underflow.

exact_probability: bool

When true, groups flagged with shared probabilistic dependencies use exact BDD-based probability computation instead of the independence assumption (MNOR/MPROD). Defaults to false (independence mode).

max_bdd_variables: usize

Maximum number of BDD variables (unique base facts) allowed per aggregation group. If a group exceeds this limit, it falls back to the independence-mode result and emits a BddLimitExceeded warning.

top_k_proofs: usize

Top-k proof filtering (Scallop, Huang et al. 2021): retain at most k proofs per derived fact, ranked by proof probability. When 0 (default), all proofs are retained (unlimited mode).

top_k_proofs_training: Option<usize>

Override top_k_proofs during training. When Some(k), training evaluation uses this value instead of top_k_proofs. When None, top_k_proofs is used for both training and inference.

params: HashMap<String, Value>

Parameters bound to $name references inside rules and QUERY/RETURN expressions. Equivalent to the parameter map passed to db.query(). Keys are parameter names without the leading $ (e.g., "agent_id" binds $agent_id).

Trait Implementations

impl Clone for LocyConfig

fn clone(&self) -> LocyConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocyConfig

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

Formats the value using the given formatter.

impl Default for LocyConfig

fn default() -> LocyConfig

Returns the “default value” for a type.