|
TeDDy 4.1.0
Decision diagram library.
|
Probability independent of time. More...
#include <probabilities.hpp>
Public Member Functions | |
| constant (double const value) | |
| operator double () const | |
| auto | operator() (double const) const -> double |
Public Member Functions inherited from teddy::probs::details::dist_base | |
| auto | set_t (double const t) -> void |
Additional Inherited Members | |
Protected Attributes inherited from teddy::probs::details::dist_base | |
| double | t_ {0} |
Probability independent of time.