public ExtendRandom Get(SeedEnum seed_enum)
{
if (!this.RandomDictionary.ContainsKey(seed_enum))
{
throw new Exception(seed_enum.ToString() + " is not registered");
}
return(this.RandomDictionary[seed_enum]);
}
public static InitableRandom Get(SeedEnum seed_enum)
{
if (!dict.ContainsKey(seed_enum.ToString()))
{
throw new Exception(seed_enum.ToString() + "is not declared");
}
return(dict[seed_enum.ToString()]);
}
public ExtendRandom(SeedEnum seed_enum, int seed)
{
this.MySeedEnum = seed_enum;
this.Seed = seed;
rand = new MersenneTwister(this.Seed);
}
public void Register(SeedEnum seed_enum, int seed)
{
ExtendRandom extended_random = new ExtendRandom(seed_enum, seed);
this.RandomDictionary[seed_enum] = extended_random;
}
public static void Declare(SeedEnum seed_enum, int seed)
{
InitableRandom rand = new InitableRandom(seed);
dict[seed_enum.ToString()] = rand; //
}
