TeDDy 4.1.0
Decision diagram library.
|
User-defined distribution. More...
#include <probabilities.hpp>
Public Member Functions | |
custom_dist (std::function< double(double)> dist) | |
operator double () const | |
auto | operator() (double const t) const -> double |
![]() | |
auto | set_t (double const t) -> void |
Additional Inherited Members | |
![]() | |
double | t_ {0} |
User-defined distribution.