DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Attributes | List of all members
DdSimOptions Struct Reference

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
 

Detailed Description

Definition at line 175 of file Simulate.cc.

Member Data Documentation

◆ controllable

std::string DdSimOptions::controllable

Definition at line 183 of file Simulate.cc.

Referenced by main(), and setOptions().

◆ fileName

std::string DdSimOptions::fileName

Definition at line 180 of file Simulate.cc.

Referenced by main(), prepareSimulation(), and setOptions().

◆ formats

std::vector<std::string> DdSimOptions::formats

Definition at line 185 of file Simulate.cc.

Referenced by setOptions().

◆ observable

std::string DdSimOptions::observable

Definition at line 182 of file Simulate.cc.

Referenced by main(), and setOptions().

◆ output

std::string DdSimOptions::output

Definition at line 181 of file Simulate.cc.

Referenced by setOptions().

◆ seed

unsigned int DdSimOptions::seed

Definition at line 177 of file Simulate.cc.

Referenced by main(), and setOptions().

◆ size

unsigned int DdSimOptions::size = 100

Definition at line 178 of file Simulate.cc.

Referenced by setOptions().

◆ through

std::string DdSimOptions::through

Definition at line 184 of file Simulate.cc.

Referenced by setOptions().

◆ timer

unsigned int DdSimOptions::timer = 0

Definition at line 179 of file Simulate.cc.

Referenced by setOptions().


The documentation for this struct was generated from the following file: