Enum ProbVarInfo 

pub enum ProbVarInfo {
    Fact {
        atom: GroundAtom,
        prob: f64,
    },
    Choice {
        choices: Arc<[(GroundAtom, f64)]>,
        choice_index: usize,
        prob: f64,
    },
    Other,
}

What a CNF variable stands for, in the order of the gradient vectors.

Variants

Fact

A plain probabilistic fact: one atom, one probability. prob is exactly the Bernoulli weight w_true stored in the GPU weight table for this variable, so p*(1-p) is the correct Jacobian for grad_true/grad_false at this slot.

Fields

atom: GroundAtom

prob: f64

Choice

One Bernoulli decision of an annotated disjunction’s chain.

Fields

choices: Arc<[(GroundAtom, f64)]>

Declared heads of the whole disjunction with their marginal probabilities (context/display only — see prob below for the Jacobian-correct parameter of this specific chain variable).

choice_index: usize

Index of this chain variable’s head within choices.

prob: f64

The conditional Bernoulli parameter actually assigned to this CNF variable’s weight (p_i / (1 - sum of earlier heads' probabilities)), i.e. the same value stored in provenance::Provenance::choice_probs and used to build the GPU weight table for this variable. prob*(1-prob) — using this prob, not choices[choice_index].1 — is the correct Jacobian for grad_true/grad_false at this slot; the two are generally different values.

Other

A variable introduced by compilation that is not a source of randomness.

Trait Implementations

impl Clone for ProbVarInfo

fn clone(&self) -> ProbVarInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProbVarInfo

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

Formats the value using the given formatter.