TeDDy
4.1.0
Decision diagram library.
Main Page
Namespaces
Concepts
Classes
Files
Loading...
Searching...
No Matches
teddy
probs
dist_vector
teddy::probs::dist_vector Concept Reference
Concept definition
template
<
class
T>
concept
teddy::probs::dist_vector
=
requires
(T t, std::size_t i) {
{
t[i]
} -> std::convertible_to<prob_dist>;
t[i].set_t(3.14);
}
teddy::probs::dist_vector
Definition
probabilities.hpp:244
Generated on Thu Nov 23 2023 09:35:20 for TeDDy by
1.9.7