Struct ReconcilingScoreGivenTrace 

pub struct ReconcilingScoreGivenTrace<'r, 'f, 'e, R: RngCore> {
    pub rng: &'r mut R,
    pub base: Trace,
    pub trace: Trace,
    /* private fields */
}

The reconciling sibling of ScoreGivenTrace, backing score_given_trace_reconciled.

Addresses present in the base trace are replayed and re-scored. NEW addresses (absent, or present with a different value type) are sampled fresh from the prior, their log_prob accumulated into log_prior, and recorded in fresh. A duplicate address is still an error.

Fields

rng: &'r mut R

RNG used to propose fresh values for new addresses.

base: Trace

Base trace containing the fixed choices to replay/score.

trace: Trace

New trace accumulating the reconciled execution.

Trait Implementations

impl<'r, 'f, 'e, R: RngCore> Handler for ReconcilingScoreGivenTrace<'r, 'f, 'e, R>

fn on_sample_f64(&mut self, addr: &Address, dist: &dyn Distribution<f64>) -> f64

Handle an f64 sampling operation (continuous distributions).

fn on_sample_bool( &mut self, addr: &Address, dist: &dyn Distribution<bool>, ) -> bool

Handle a bool sampling operation (Bernoulli).

fn on_sample_u64(&mut self, addr: &Address, dist: &dyn Distribution<u64>) -> u64

Handle a u64 sampling operation (Poisson, Binomial).

fn on_sample_usize( &mut self, addr: &Address, dist: &dyn Distribution<usize>, ) -> usize

Handle a usize sampling operation (Categorical).

fn on_sample_i64(&mut self, addr: &Address, dist: &dyn Distribution<i64>) -> i64

Handle an i64 sampling operation (signed discrete distributions).

fn on_observe_f64( &mut self, _addr: &Address, dist: &dyn Distribution<f64>, value: f64, )

Handle an f64 observation operation.

fn on_observe_bool( &mut self, _addr: &Address, dist: &dyn Distribution<bool>, value: bool, )

Handle a bool observation operation.

fn on_observe_u64( &mut self, _addr: &Address, dist: &dyn Distribution<u64>, value: u64, )

Handle a u64 observation operation.

fn on_observe_usize( &mut self, _addr: &Address, dist: &dyn Distribution<usize>, value: usize, )

Handle a usize observation operation.

fn on_observe_i64( &mut self, _addr: &Address, dist: &dyn Distribution<i64>, value: i64, )

Handle an i64 observation operation.

fn on_factor(&mut self, logw: f64)

Handle a factor operation.

fn finish(self) -> Trace

Finalize the handler and return the accumulated trace.