Struct Sink 

pub struct Sink {
    pub groups: BTreeMap<Value, Acc>,
    pub reached: Weight,
    pub reached_squares: Weight,
}

All values reported at one site, per by key (() without by).

Fields

groups: BTreeMap<Value, Acc>

reached: Weight

When sampling: Σ w and Σ w² over the runs that reached the report, each counted once.

reached_squares: Weight

Implementations

impl Sink

pub fn add( &mut self, key: Value, value: &Value, weight: Weight, run: Option<u32>, )

Record a value reported in a world, and when sampling, by which run.

pub fn end_batch(&mut self)

When sampling: fold the batch’s runs into the sums. They’re finished, so what’s kept doesn’t grow with the number of runs.

pub fn absorb(&mut self, other: Sink)

Add what another batch of runs reported. Batches are combined in order, so the sums don’t depend on which thread ran which batch.

pub fn chance(&self) -> Option<f64>

For a report without by of facts: the probability they’re true.

pub fn distribution(&self) -> Vec<(Value, f64)>

For a report without by: the reported values and their probabilities.

pub fn reach(&self) -> Weight

Total weight that reached the report.

Trait Implementations

impl Clone for Sink

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Sink

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

Formats the value using the given formatter.

impl Default for Sink

fn default() -> Self

Returns the “default value” for a type.