Detection result for a closed-form, optionally-truncated single-RV shape. More...

#include "RangeCheck.h"

Collaboration diagram for provsql::TruncatedSingleRv:

Public Attributes
DistributionSpec	spec
	Parsed kind + parameters.
double	lo
	Lower bound (-INF if unbounded).
double	hi
	Upper bound (+INF if unbounded).
bool	truncated
	True iff the bounds came from a non-trivial `event_root`.

Detailed Description

Detection result for a closed-form, optionally-truncated single-RV shape.

Carries the parsed distribution and the [lo, hi] support after intersection with the conditioning event (or the natural support when truncated == false). Either bound may be infinite when the RV's natural support or the event leaves the corresponding side unbounded (e.g. Normal | X > 0 yields (0, +∞)).

Definition at line 101 of file RangeCheck.h.

Member Data Documentation

◆ hi

double provsql::TruncatedSingleRv::hi

Upper bound (+INF if unbounded).

Definition at line 104 of file RangeCheck.h.

◆ lo

double provsql::TruncatedSingleRv::lo

Lower bound (-INF if unbounded).

Definition at line 103 of file RangeCheck.h.

◆ spec

DistributionSpec provsql::TruncatedSingleRv::spec

Parsed kind + parameters.

Definition at line 102 of file RangeCheck.h.

◆ truncated

bool provsql::TruncatedSingleRv::truncated

True iff the bounds came from a non-trivial event_root.

Definition at line 105 of file RangeCheck.h.

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

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