Public Member Functions
|void||args (int argc, char **argv)|
|Parse command line arguments. |
|Execute appropriate operations according to command line. |
Static Public Attributes
|static unsigned||debug = 0|
|Global debug bit mask. |
Private Member Functions
|void||usage (char *prog, std::ostream &out, int ret)|
|Prints usage description and exits. |
|const char *||inFile|
|The name of the input file. |
|const char *||outFile|
|The name of the output file or 0. |
Static Private Attributes
|static struct option||opts |
|List of command line options. |
The Settings class handles command line settings.
Execute appropriate operations according to command line.
Once all settings are in place, This method is called in order to run the requested command. Currently that means reading the requested input file and enumerating all solutions for it.
References CoinSeedRandom(), bande::BranchControl::getIP(), inFile, outFile, bande::IntegerProgram::randomizeObjective(), bande::IntegerProgram::readMps(), bande::BranchControl::run(), and bande::Solutions::writeToFile().
Referenced by main().
|void bande::Settings::usage||(||char *||prog,|
Prints usage description and exits.
This information can be displayed by passing the command line argument
|prog||the name with which the program was executed, |
|out||the stream to which usage information is printed.|
|ret||the return code with which the program terminates.|
Referenced by args().
|unsigned bande::Settings::debug = 0
Global debug bit mask.
The value of this bit mask can be specified on the command line. At the moment only the least significant bit, 1, has any meaning. It enables tracing of the branching algorithm in BranchControl::branch().