Struct ProbabilisticProgramEngine 

pub struct ProbabilisticProgramEngine { /* private fields */ }

The main engine struct — declared here so all modules share one definition.

Implementations

impl ProbabilisticProgramEngine

pub fn new(config: PpeEngineConfig) -> Self

Create a new engine with the given configuration.

pub fn add_variable(&mut self, name: String, prior: PpePrior) -> VarId

Register a new variable with the given name and prior. Returns its stable VarId.

pub fn observe(&mut self, var_id: VarId, value: f64)

Condition variable var_id on the observed value.

pub fn clear_observation(&mut self, var_id: VarId)

Remove an observation, allowing the variable to be sampled freely.

pub fn sample( &mut self, method: PpeSamplingMethod, ) -> Result<PpeSampleResult, String>

Run posterior sampling with the given method.

Errors

Returns an error string if no variables have been registered.

pub fn posterior_mean(&self, var_id: VarId) -> Option<f64>

Posterior mean of variable var_id from the last sampling run.

pub fn posterior_std(&self, var_id: VarId) -> Option<f64>

Posterior standard deviation of variable var_id.

pub fn credible_interval(&self, var_id: VarId, alpha: f64) -> Option<(f64, f64)>

Central credible interval at coverage 1 - alpha.

E.g., alpha = 0.05 returns the 95% CI as (lower, upper).

pub fn log_likelihood(&self, var_id: VarId, value: f64) -> f64

Log-density (log prior) of value under the prior of var_id.

pub fn marginal_distribution( &self, var_id: VarId, n_bins: usize, ) -> Vec<(f64, f64)>

Approximate marginal distribution as a histogram with n_bins equal-width bins.

Returns a Vec<(bin_centre, frequency)> in ascending order.

pub fn sampling_stats(&self) -> PpeSamplingStats

Diagnostics about the current state of the engine.

pub fn config(&self) -> &PpeEngineConfig

Return a reference to the engine configuration.

pub fn get_variable(&self, var_id: VarId) -> Option<&ProbVar>

Look up a variable by its id.

pub fn n_variables(&self) -> usize

Number of registered variables.

pub fn n_samples(&self, var_id: VarId) -> usize

Number of retained samples for a given variable (0 if no sampling has been run).

pub fn raw_samples(&self, var_id: VarId) -> Option<&[f64]>

Raw posterior samples for var_id.

pub fn last_result(&self) -> Option<&PpeSampleResult>

Last PpeSampleResult returned by sample.