primarycensored_analytical_cdf.stan File Reference

Go to the source code of this file.

Functions
int	check_for_analytical (int dist_id, int primary_id)
real	primarycensored_gamma_uniform_lcdf (data real d, real q, array[] real params, data real pwindow)
real	primarycensored_lognormal_uniform_lcdf (data real d, real q, array[] real params, data real pwindow)
real	log_weibull_g (real t, real shape, real scale)
real	primarycensored_weibull_uniform_lcdf (data real d, real q, array[] real params, data real pwindow)
real	primarycensored_analytical_lcdf (data real d, int dist_id, array[] real params, data real pwindow, data real D, int primary_id, array[] real primary_params)
real	primarycensored_analytical_cdf (data real d, int dist_id, array[] real params, data real pwindow, data real D, int primary_id, array[] real primary_params)

Function Documentation

check_for_analytical()

int check_for_analytical	(	int	dist_id,
		int	primary_id )

Check if an analytical solution exists for the given distribution combination

Parameters

dist_id	Distribution identifier for the delay distribution
primary_id	Distribution identifier for the primary distribution

Returns

1 if an analytical solution exists, 0 otherwise

Definition at line 10 of file primarycensored_analytical_cdf.stan.

log_weibull_g()

real log_weibull_g	(	real	t,
		real	shape,
		real	scale )

Compute the log of the lower incomplete gamma function

This function is used in the analytical solution for the primary censored Weibull distribution with uniform primary censoring. It corresponds to the g(t; λ, k) function described in the analytic solutions document.

Parameters

t	Upper bound of integration
shape	Shape parameter (k) of the Weibull distribution
scale	Scale parameter (λ) of the Weibull distribution

Returns

Log of g(t; λ, k) = γ(1 + 1/k, (t/λ)^k)

Definition at line 142 of file primarycensored_analytical_cdf.stan.

primarycensored_analytical_cdf()

real primarycensored_analytical_cdf	(	data real	d,
		int	dist_id,
		array[]real	params,
		data real	pwindow,
		data real	D,
		int	primary_id,
		array[]real	primary_params )

Compute the primary event censored CDF analytically for a single delay

Parameters

d	Delay
dist_id	Distribution identifier
params	Array of distribution parameters
pwindow	Primary event window
D	Maximum delay (truncation point)
primary_id	Primary distribution identifier
primary_params	Primary distribution parameters

Returns

Primary event censored CDF, normalized by D if finite (truncation adjustment)

Definition at line 266 of file primarycensored_analytical_cdf.stan.

primarycensored_analytical_lcdf()

real primarycensored_analytical_lcdf	(	data real	d,
		int	dist_id,
		array[]real	params,
		data real	pwindow,
		data real	D,
		int	primary_id,
		array[]real	primary_params )

Compute the primary event censored log CDF analytically for a single delay

Parameters

d	Delay
dist_id	Distribution identifier
params	Array of distribution parameters
pwindow	Primary event window
D	Maximum delay (truncation point)
primary_id	Primary distribution identifier
primary_params	Primary distribution parameters

Returns

Primary event censored log CDF, normalized by D if finite (truncation adjustment)

Definition at line 215 of file primarycensored_analytical_cdf.stan.

primarycensored_gamma_uniform_lcdf()

real primarycensored_gamma_uniform_lcdf	(	data real	d,
		real	q,
		array[]real	params,
		data real	pwindow )

Compute the primary event censored log CDF analytically for Gamma delay with Uniform primary

Parameters

d	Delay time
q	Lower bound of integration (max(d - pwindow, 0))
params	Array of Gamma distribution parameters [shape, rate]
pwindow	Primary event window

Returns

Log of the primary event censored CDF for Gamma delay with Uniform primary

Definition at line 28 of file primarycensored_analytical_cdf.stan.

primarycensored_lognormal_uniform_lcdf()

real primarycensored_lognormal_uniform_lcdf	(	data real	d,
		real	q,
		array[]real	params,
		data real	pwindow )

Compute the primary event censored log CDF analytically for Lognormal delay with Uniform primary

Parameters

d	Delay time
q	Lower bound of integration (max(d - pwindow, 0))
params	Array of Lognormal distribution parameters [mu, sigma]
pwindow	Primary event window

Returns

Log of the primary event censored CDF for Lognormal delay with Uniform primary

Definition at line 83 of file primarycensored_analytical_cdf.stan.

primarycensored_weibull_uniform_lcdf()

real primarycensored_weibull_uniform_lcdf	(	data real	d,
		real	q,
		array[]real	params,
		data real	pwindow )

Compute the primary event censored log CDF analytically for Weibull delay with Uniform primary

Parameters

d	Delay time
q	Lower bound of integration (max(d - pwindow, 0))
params	Array of Weibull distribution parameters [shape, scale]
pwindow	Primary event window

Returns

Log of the primary event censored CDF for Weibull delay with Uniform primary

Definition at line 159 of file primarycensored_analytical_cdf.stan.