/// <inheritdoc />
protected override OptionSet CreateAdapterMasterOptionSet()
{
var options = this.CreateMasterOrPostTuningOptionSet();
var additionalMasterOptions = new OptionSet
{
{
"numberOfSeeds=",
() =>
"Sets the number of random seeds to use for every .mps file found in the instance folder.\r\nFor each file, numberOfSeeds many independent seeds will be used,\r\neffectively increasing the instance count by a factor of numberOfSeeds.\r\nDefault is 1. Needs to be greater than 0.",
(int n) => this.InternalConfigurationBuilder.SetNumberOfSeeds(n)
},
{
"rngSeed=",
() =>
"Sets the random number generator seed, which generates #numberOfSeeds seeds for every instance of the Gurobi algorithm. Default is 42.",
(int s) => this.InternalConfigurationBuilder.SetRngSeed(s)
},
};
additionalMasterOptions.ForEach(option => options.Add(option));
return options;
}
