112 RandomVariable::RandomVariable(int value) : mVar(new RandomVariableBase(value)) {  in RandomVariable()
113     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
114     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
116 RandomVariable::RandomVariable(int lower, int upper) : mVar(new RandomVariableBase(lower, upper)) {  in RandomVariable()
117     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
118     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
121     : mVar(new RandomVariableBase(choices)) {  in RandomVariable()
122     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
123     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
126     : mVar(new RandomVariableBase(1, defaultValue)) {  in RandomVariable()
128     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
129     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
133     : mVar(new RandomVariableBase(lhs.get(), rhs.get(), op)) {  in RandomVariable()
135     if (mVar->parent1->type == RandomVariableType::CONST) {  in RandomVariable()
136         mVar->parent1 = RandomVariable(mVar->parent1->value).get();  in RandomVariable()
138     if (mVar->parent2 != nullptr && mVar->parent2->type == RandomVariableType::CONST) {  in RandomVariable()
139         mVar->parent2 = RandomVariable(mVar->parent2->value).get();  in RandomVariable()
141     mVar->parent1->children.push_back(mVar);  in RandomVariable()
142     if (mVar->parent2 != nullptr) mVar->parent2->children.push_back(mVar);  in RandomVariable()
143     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
144     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
148     NN_FUZZER_CHECK(mVar != nullptr) << "setRange() on nullptr";  in setRange()
149     NN_FUZZER_LOG << "Set range [" << lower << ", " << upper << "] on var" << mVar->index;  in setRange()
150     size_t oldSize = mVar->range.size();  in setRange()
151     mVar->range.setRange(lower, upper);  in setRange()
153     if (mVar->range.size() != oldSize) mVar->updateTimestamp();  in setRange()
545     return mVar == other.get() ? RandomVariable(1)  in exactDiv()
550     RandomVariableNode node1 = mVar, node2 = other.get();  in setEqual()
587     NN_FUZZER_CHECK(mVar != other.get());  in setGreaterThan()
591     return mVar == other.get() ? *this  in setGreaterEqual()