| 108 |
|
char sampleName[300]; // the name of the dump file to be written |
| 109 |
|
char statusName[300]; // the name of the stat file to be written |
| 110 |
|
|
| 111 |
< |
|
| 111 |
> |
int seed; //seed for random number generator |
| 112 |
|
// refreshes the sim if things get changed (load balanceing, volume |
| 113 |
|
// adjustment, etc.) |
| 114 |
|
|
| 163 |
|
GenericData* getProperty(const string& propName); |
| 164 |
|
vector<GenericData*> getProperties(); |
| 165 |
|
|
| 166 |
+ |
int getSeed(void) { return seed; } |
| 167 |
+ |
void setSeed(int theSeed) { seed = theSeed;} |
| 168 |
+ |
|
| 169 |
|
private: |
| 170 |
|
|
| 171 |
|
SimState* myConfiguration; |
