getCdfFirstPassT(A, B, C, tset): the curve, the reach probabilities and the resolved sets.
More...
#include <line/solvers/solver.h>
|
| std::vector< double > | t |
| | the grid: the caller's, else 1000 points to the horizon
|
| std::vector< double > | F |
| | F(t), DEFECTIVE under a taboo set.
|
| std::vector< double > | f |
| | the density at t
|
| double | reachprob = 0.0 |
| | probability of entering B (before C)
|
| double | tabooprob = 0.0 |
| | probability of entering C before B
|
| std::vector< std::size_t > | source |
| | 0-based state rows of A; empty = conditional stationary
|
| std::vector< std::size_t > | target |
| | 0-based state rows of B
|
| std::vector< std::size_t > | taboo |
| | 0-based state rows of C minus B
|
getCdfFirstPassT(A, B, C, tset): the curve, the reach probabilities and the resolved sets.
Definition at line 96 of file solver.h.
| std::vector<double> line::FirstPassage::F |
F(t), DEFECTIVE under a taboo set.
Definition at line 98 of file solver.h.
| std::vector<double> line::FirstPassage::f |
the density at t
Definition at line 99 of file solver.h.
◆ reachprob
| double line::FirstPassage::reachprob = 0.0 |
probability of entering B (before C)
Definition at line 100 of file solver.h.
◆ source
| std::vector<std::size_t> line::FirstPassage::source |
0-based state rows of A; empty = conditional stationary
Definition at line 102 of file solver.h.
| std::vector<double> line::FirstPassage::t |
the grid: the caller's, else 1000 points to the horizon
Definition at line 97 of file solver.h.
◆ taboo
| std::vector<std::size_t> line::FirstPassage::taboo |
0-based state rows of C minus B
Definition at line 104 of file solver.h.
◆ tabooprob
| double line::FirstPassage::tabooprob = 0.0 |
probability of entering C before B
Definition at line 101 of file solver.h.
◆ target
| std::vector<std::size_t> line::FirstPassage::target |
0-based state rows of B
Definition at line 103 of file solver.h.
The documentation for this struct was generated from the following file: