provsql::CategoricalShape Struct Reference

Categorical distribution over a finite outcome set. More...

#include "RangeCheck.h"

Public Attributes
std::vector< std::pair< double, double > >	outcomes
	(value, mass) pairs

Detailed Description

Categorical distribution over a finite outcome set.

Matches a categorical-form gate_mixture (isCategoricalMixture): the key gate_input is ignored (its own probability is irrelevant — the mass is on the mulinputs), each remaining wire contributes one {value, prob} pair.

Unconditional only; conditioning on a categorical's value is handled upstream by RangeCheck folding the cmp into a Bernoulli, leaving no event_root for this matcher to see.

Definition at line 188 of file RangeCheck.h.

Member Data Documentation

outcomes

std::vector<std::pair<double, double> > provsql::CategoricalShape::outcomes

(value, mass) pairs

Definition at line 189 of file RangeCheck.h.

---

The documentation for this struct was generated from the following file:

• /home/pierre/git/software/provsql/src/RangeCheck.h