113 RandomVariable::RandomVariable(int value) : mVar(new RandomVariableBase(value)) {  in RandomVariable()
114     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
115     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
117 RandomVariable::RandomVariable(int lower, int upper) : mVar(new RandomVariableBase(lower, upper)) {  in RandomVariable()
118     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
119     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
122     : mVar(new RandomVariableBase(choices)) {  in RandomVariable()
123     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
124     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
127     : mVar(new RandomVariableBase(1, defaultValue)) {  in RandomVariable()
129     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
130     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
134     : mVar(new RandomVariableBase(lhs.get(), rhs.get(), op)) {  in RandomVariable()
136     if (mVar->parent1->type == RandomVariableType::CONST) {  in RandomVariable()
137         mVar->parent1 = RandomVariable(mVar->parent1->value).get();  in RandomVariable()
139     if (mVar->parent2 != nullptr && mVar->parent2->type == RandomVariableType::CONST) {  in RandomVariable()
140         mVar->parent2 = RandomVariable(mVar->parent2->value).get();  in RandomVariable()
142     mVar->parent1->children.push_back(mVar);  in RandomVariable()
143     if (mVar->parent2 != nullptr) mVar->parent2->children.push_back(mVar);  in RandomVariable()
144     RandomVariableNetwork::get()->add(mVar);  in RandomVariable()
145     NN_FUZZER_LOG << "New RandomVariable " << toString(mVar);  in RandomVariable()
149     NN_FUZZER_CHECK(mVar != nullptr) << "setRange() on nullptr";  in setRange()
150     NN_FUZZER_LOG << "Set range [" << lower << ", " << upper << "] on var" << mVar->index;  in setRange()
151     size_t oldSize = mVar->range.size();  in setRange()
152     mVar->range.setRange(lower, upper);  in setRange()
154     if (mVar->range.size() != oldSize) mVar->updateTimestamp();  in setRange()
546     return mVar == other.get() ? RandomVariable(1)  in exactDiv()
551     RandomVariableNode node1 = mVar, node2 = other.get();  in setEqual()
588     NN_FUZZER_CHECK(mVar != other.get());  in setGreaterThan()
592     return mVar == other.get() ? *this  in setGreaterEqual()