Struct ChoiceSource 

pub struct ChoiceSource {
    pub choices: Arc<[(GroundAtom, f64)]>,
    pub choice_index: usize,
    pub source_id: Option<usize>,
}

Metadata for a single Bernoulli decision stage in an annotated disjunction.

Fields

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

Explicit heads of the annotated disjunction, paired with their declared (marginal) probabilities. Does not include the synthetic implicit “none” branch. Shared (Arc) across every Bernoulli chain variable of the same disjunction so that a k-head disjunction pays for one k-length vector, not O(k) independent clones of it.

choice_index: usize

Position of this ChoiceVarId in the m-1 Bernoulli decision chain.

source_id: Option<usize>

Enclosing annotated-disjunction identity. None in v1.

Trait Implementations

impl Clone for ChoiceSource

fn clone(&self) -> ChoiceSource

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChoiceSource

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

Formats the value using the given formatter.

impl PartialEq for ChoiceSource

fn eq(&self, other: &ChoiceSource) -> 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 ChoiceSource