Lines Matching refs:m_variable
1122 m_variable = allocateNewVariable(state, newVarRange.asAccess());
1127 m_variable = state.getRandom().choose<const ValueEntry*>(state.getVariableManager().getBegin(filter), state.getVariableManager().getEnd(filter))->getVariable();
1141 m_variable = allocateNewVariable(state, valueRange);
1158 m_variable = entry->getVariable();
1161 ValueRange intersection(m_variable->getType());
1163 state.getVariableManager().setValue(m_variable, intersection.asAccess());
1170 m_variable = variable;
1204 m_variable = state.getVariableManager().allocate(valueRange.getType());
1212 m_variable = entry->getVariable();
1215 DE_ASSERT(m_variable);
1218 const ValueEntry* parentEntry = state.getVariableManager().getParentValue(m_variable);
1222 state.getVariableManager().setValue(m_variable, parentEntry->getValueRange());
1227 ValueRange infRange(m_variable->getType());
1230 state.getVariableManager().setValue(m_variable, infRange.asAccess());
1245 m_valueAccess = evalCtx.getValue(m_variable);