DiaDes
0.1
DIAgnosis of Discrete-Event System
|
Public Attributes | |
unsigned int | seed |
unsigned int | size = 100 |
unsigned int | timer = 0 |
std::string | fileName |
std::string | output |
std::string | observable |
std::string | controllable |
std::string | through |
std::vector< std::string > | formats |
Definition at line 175 of file Simulate.cc.
std::string DdSimOptions::controllable |
Definition at line 183 of file Simulate.cc.
Referenced by main(), and setOptions().
std::string DdSimOptions::fileName |
Definition at line 180 of file Simulate.cc.
Referenced by main(), prepareSimulation(), and setOptions().
std::vector<std::string> DdSimOptions::formats |
Definition at line 185 of file Simulate.cc.
Referenced by setOptions().
std::string DdSimOptions::observable |
Definition at line 182 of file Simulate.cc.
Referenced by main(), and setOptions().
std::string DdSimOptions::output |
Definition at line 181 of file Simulate.cc.
Referenced by setOptions().
unsigned int DdSimOptions::seed |
Definition at line 177 of file Simulate.cc.
Referenced by main(), and setOptions().
unsigned int DdSimOptions::size = 100 |
Definition at line 178 of file Simulate.cc.
Referenced by setOptions().
std::string DdSimOptions::through |
Definition at line 184 of file Simulate.cc.
Referenced by setOptions().
unsigned int DdSimOptions::timer = 0 |
Definition at line 179 of file Simulate.cc.
Referenced by setOptions().