line::ctmc::CtmcFirstPassage Struct Reference

The answer of @@SolverCTMC/getCdfFirstPassT.m: the [F(t), t] curve with its grid, density and resolved state sets. More...

#include <line/solvers/ctmc/solver_ctmc_getters.h>

Collaboration diagram for line::ctmc::CtmcFirstPassage:

Public Attributes
std::vector< double >	t
	the grid: the caller's, else 1000 points to the horizon
std::vector< double >	F
	CDF at t, clamped to [0, 1]; DEFECTIVE under a taboo set.
std::vector< double >	f
	density at t
std::vector< std::size_t >	source
	resolved 0-based rows; empty = conditional stationary
std::vector< std::size_t >	target
	resolved 0-based rows
std::vector< std::size_t >	taboo
	resolved 0-based rows of C minus B; empty = none
double	reachprob = 0.0
	Pr{B entered before C}, the limit of F.
double	tabooprob = 0.0
	Pr{C entered before B}.

Detailed Description

The answer of @@SolverCTMC/getCdfFirstPassT.m: the [F(t), t] curve with its grid, density and resolved state sets.

Definition at line 344 of file solver_ctmc_getters.h.

Member Data Documentation

F

std::vector<double> line::ctmc::CtmcFirstPassage::F

CDF at t, clamped to [0, 1]; DEFECTIVE under a taboo set.

Definition at line 346 of file solver_ctmc_getters.h.

Referenced by line::ctmc::ctmc_cdf_firstpasst().

f

std::vector<double> line::ctmc::CtmcFirstPassage::f

density at t

Definition at line 347 of file solver_ctmc_getters.h.

Referenced by line::ctmc::ctmc_cdf_firstpasst().

reachprob

double line::ctmc::CtmcFirstPassage::reachprob = 0.0

Pr{B entered before C}, the limit of F.

Definition at line 351 of file solver_ctmc_getters.h.

Referenced by line::ctmc::ctmc_cdf_firstpasst().

source

std::vector<std::size_t> line::ctmc::CtmcFirstPassage::source

resolved 0-based rows; empty = conditional stationary

Definition at line 348 of file solver_ctmc_getters.h.

Referenced by line::ctmc::ctmc_cdf_firstpasst().

t

std::vector<double> line::ctmc::CtmcFirstPassage::t

the grid: the caller's, else 1000 points to the horizon

Definition at line 345 of file solver_ctmc_getters.h.

Referenced by line::ctmc::ctmc_cdf_firstpasst().

taboo

std::vector<std::size_t> line::ctmc::CtmcFirstPassage::taboo

resolved 0-based rows of C minus B; empty = none

Definition at line 350 of file solver_ctmc_getters.h.

Referenced by line::ctmc::ctmc_cdf_firstpasst().

tabooprob

double line::ctmc::CtmcFirstPassage::tabooprob = 0.0

Pr{C entered before B}.

Definition at line 352 of file solver_ctmc_getters.h.

Referenced by line::ctmc::ctmc_cdf_firstpasst().

target

std::vector<std::size_t> line::ctmc::CtmcFirstPassage::target

resolved 0-based rows

Definition at line 349 of file solver_ctmc_getters.h.

Referenced by line::ctmc::ctmc_cdf_firstpasst().

---

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

• include/line/solvers/ctmc/solver_ctmc_getters.h