
Public Attributes | |
| char * | args [1] |
| int | display = 0 |
| int | verbose = 0 |
| int | stop = 0 |
| std::string | dumpErrorFile |
| std::string | finalDump |
| int | dump = 0 |
| std::string | xmlSchema |
| std::string | loadState |
| int | shutdown = 10 |
| int | reset = 0 |
| int | killPort = 0 |
| bool | squeezeMemory = true |
| std::list< std::string > | init_ports |
Definition at line 87 of file driver.cxx.
| char* arguments::args[1] |
Definition at line 89 of file driver.cxx.
Referenced by main().
| int arguments::display = 0 |
Definition at line 90 of file driver.cxx.
Referenced by main().
| int arguments::dump = 0 |
Definition at line 95 of file driver.cxx.
Referenced by main().
| std::string arguments::dumpErrorFile |
Definition at line 93 of file driver.cxx.
Referenced by main().
| std::string arguments::finalDump |
Definition at line 94 of file driver.cxx.
| std::list<std::string> arguments::init_ports |
Definition at line 102 of file driver.cxx.
Referenced by main().
| int arguments::killPort = 0 |
Definition at line 100 of file driver.cxx.
| std::string arguments::loadState |
Definition at line 97 of file driver.cxx.
Referenced by main().
| int arguments::reset = 0 |
Definition at line 99 of file driver.cxx.
Referenced by gui.graph.grid::findPath(), and main().
| int arguments::shutdown = 10 |
Definition at line 98 of file driver.cxx.
| bool arguments::squeezeMemory = true |
Definition at line 101 of file driver.cxx.
Referenced by main().
| int arguments::stop = 0 |
Definition at line 92 of file driver.cxx.
Referenced by main().
| int arguments::verbose = 0 |
Definition at line 91 of file driver.cxx.
Referenced by main().
| std::string arguments::xmlSchema |
Definition at line 96 of file driver.cxx.
Referenced by main().