AERA
Public Member Functions | Public Attributes | List of all members
Settings Class Reference

Public Member Functions

bool load (const char *file_name)
 

Public Attributes

std::string io_device_
 
std::string usr_operator_path_
 
std::string usr_class_path_
 
std::string source_file_name_
 
core::uint32 base_period_
 
core::uint32 reduction_core_count_
 
core::uint32 time_core_count_
 
core::float32 mdl_inertia_sr_thr_
 
core::uint32 mdl_inertia_cnt_thr_
 
core::float32 tpx_dsr_thr_
 
core::uint32 min_sim_time_horizon_
 
core::uint32 max_sim_time_horizon_
 
core::float32 sim_time_horizon_factor_
 
core::uint32 tpx_time_horizon_
 
core::uint32 perf_sampling_period_
 
core::float32 float_tolerance_
 
core::uint32 time_tolerance_
 
core::uint64 primary_thz_
 
core::uint64 secondary_thz_
 
bool debug_
 
core::uint32 ntf_mk_resilience_
 
core::uint32 goal_pred_success_resilience_
 
core::uint32 debug_windows_
 
std::string runtime_output_file_path_
 
core::uint32 trace_levels_
 
bool get_objects_
 
bool keep_invalidated_objects_
 
bool decompile_objects_
 
bool decompile_to_file_
 
std::string decompilation_file_path_
 
bool ignore_named_objects_
 
bool write_objects_
 
std::string objects_path_
 
bool test_objects_
 
core::uint32 run_time_
 
core::uint32 probe_level_
 
bool get_models_
 
bool decompile_models_
 
bool ignore_named_models_
 
bool write_models_
 
std::string models_path_
 
bool test_models_
 
int number_of_servers_
 
int number_of_clients_
 
std::vector< std::pair< std::string, std::string > > server_configurations_
 
std::vector< std::string > client_configurations_
 

Detailed Description

Definition at line 91 of file settings.h.


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