|
FreeTensor
|
#include <rand_var.h>

Public Member Functions | |
| DiscreteObservation (const std::vector< Ref< DiscreteRandVar > > &vars, const Ref< std::vector< int > > &totCnt, int value, const std::string &message="") | |
Public Attributes | |
| std::vector< Ref< DiscreteRandVar > > | vars_ |
| std::vector< Ref< DiscreteRandVar > > | varsSnapshot_ |
| Ref< std::vector< int > > | totCnt_ |
| int | value_ |
| std::string | message_ |
Friends | |
| auto | operator<=> (const DiscreteObservation &lhs, const DiscreteObservation &rhs) |
| bool | operator== (const DiscreteObservation &lhs, const DiscreteObservation &rhs) |
| std::ostream & | operator<< (std::ostream &os, const DiscreteObservation &obs) |
An observation to a discreteRandVar
The DiscreteRandVar is identified by its address: The same address means the same DiscreteRandVar; Different addresses means independent DiscreteRandVars
|
inline |
|
friend |
|
friend |
|
friend |
| std::string freetensor::DiscreteObservation::message_ |
| Ref<std::vector<int> > freetensor::DiscreteObservation::totCnt_ |
| int freetensor::DiscreteObservation::value_ |
| std::vector<Ref<DiscreteRandVar> > freetensor::DiscreteObservation::vars_ |
| std::vector<Ref<DiscreteRandVar> > freetensor::DiscreteObservation::varsSnapshot_ |