provsql::BernoulliMixtureShape Struct Reference

Bernoulli mixture (gate_mixture with the [p_token, x_token, y_token] shape). More...

#include "RangeCheck.h"

Public Attributes
double	p
std::shared_ptr< ClosedFormShape >	left
std::shared_ptr< ClosedFormShape >	right

Detailed Description

Bernoulli mixture (gate_mixture with the [p_token, x_token, y_token] shape).

p is getProb(p_token) when p_token is a bare gate_input; a compound Boolean p_token bails (its probability would require a recursive probability_evaluate call, out of scope for the static predicate). left and right recursively match the two arms; either may itself be a mixture, a bare RV, a Dirac, or a categorical, but always unconditional (truncation under a mixture is deferred until a real query needs it).

Definition at line 217 of file RangeCheck.h.

Member Data Documentation

left

std::shared_ptr<ClosedFormShape> provsql::BernoulliMixtureShape::left

Definition at line 219 of file RangeCheck.h.

p

double provsql::BernoulliMixtureShape::p

Definition at line 218 of file RangeCheck.h.

right

std::shared_ptr<ClosedFormShape> provsql::BernoulliMixtureShape::right

Definition at line 220 of file RangeCheck.h.

---

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

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