Package jdistlib

Class CertifiedInfiniteDiscreteDistribution

java.lang.Object

jdistlib.generic.GenericDistribution

jdistlib.CertifiedInfiniteDiscreteDistribution

All Implemented Interfaces:

AtomAwareDistribution, SupportedDistribution

public final class CertifiedInfiniteDiscreteDistribution
extends GenericDistribution
implements SupportedDistribution, AtomAwareDistribution

Finite approximation to an infinite integer-supported distribution, stopped only when user-provided tail certificates bound the omitted probability.

Field Summary

Fields inherited from class jdistlib.generic.GenericDistribution

random

Method Summary

Modifier and Type	Method	Description
double	atomProbability(double x)	Returns P(X = x); zero means no declared atom at x.
double	cumulative(double x, boolean lowerTail, boolean logP)
double	density(double x, boolean log)
int	getIncludedTerms()
double	getLowerBound()
double	getOmittedProbabilityUpperBound()
String	getSupportDescription()
double	getTailWeightUpperBound()
NumericalDiscreteDistribution	getTruncatedDistribution()
double	getUpperBound()
static CertifiedInfiniteDiscreteDistribution	leftInfinite(UnivariateFunction weight, long start, DiscreteTailBound tailBound, CertifiedDiscreteOptions options)	Constructs support ..., start-1, start.
double	quantile(double p, boolean lowerTail, boolean logP)
double	random()
static CertifiedInfiniteDiscreteDistribution	rightInfinite(UnivariateFunction weight, long start, DiscreteTailBound tailBound, CertifiedDiscreteOptions options)	Constructs support start, start+1, ....
static CertifiedInfiniteDiscreteDistribution	twoSided(UnivariateFunction weight, long center, DiscreteTailBound leftTailBound, DiscreteTailBound rightTailBound, CertifiedDiscreteOptions options)	Constructs two-sided integer support around a finite center.

Methods inherited from class jdistlib.generic.GenericDistribution

copyBackward, cumulative, cumulative, cumulative, cumulative_hazard, cumulative_hazard, cumulativeInto, density, density, densityInto, getRandomEngine, hazard, hazard, inverse_survival, inverse_survival, quantile, quantile, quantile, quantileInto, random, random, randomInto, setRandomEngine, survival, survival, survival

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

rightInfinite

public static CertifiedInfiniteDiscreteDistribution rightInfinite(UnivariateFunction weight,
 long start,
 DiscreteTailBound tailBound,
 CertifiedDiscreteOptions options)

Constructs support start, start+1, ....

leftInfinite

public static CertifiedInfiniteDiscreteDistribution leftInfinite(UnivariateFunction weight,
 long start,
 DiscreteTailBound tailBound,
 CertifiedDiscreteOptions options)

Constructs support ..., start-1, start.

twoSided

public static CertifiedInfiniteDiscreteDistribution twoSided(UnivariateFunction weight,
 long center,
 DiscreteTailBound leftTailBound,
 DiscreteTailBound rightTailBound,
 CertifiedDiscreteOptions options)

Constructs two-sided integer support around a finite center.

getTailWeightUpperBound

public double getTailWeightUpperBound()

getOmittedProbabilityUpperBound

public double getOmittedProbabilityUpperBound()

getIncludedTerms

public int getIncludedTerms()

getSupportDescription

public String getSupportDescription()

getTruncatedDistribution

public NumericalDiscreteDistribution getTruncatedDistribution()

getLowerBound

public double getLowerBound()

Specified by:

getLowerBound in interface SupportedDistribution

getUpperBound

public double getUpperBound()

Specified by:

getUpperBound in interface SupportedDistribution

density

public double density(double x,
 boolean log)

Specified by:

density in class GenericDistribution

cumulative

public double cumulative(double x,
 boolean lowerTail,
 boolean logP)

Specified by:

cumulative in class GenericDistribution

quantile

public double quantile(double p,
 boolean lowerTail,
 boolean logP)

Specified by:

quantile in class GenericDistribution

random

public double random()

Specified by:

random in class GenericDistribution

atomProbability

public double atomProbability(double x)

Description copied from interface: AtomAwareDistribution

Returns P(X = x); zero means no declared atom at x.

Specified by:

atomProbability in interface AtomAwareDistribution