Option Struct Reference

Global options. More...

#include <Common.h>

List of all members.

Static Public Attributes
static DREAM::uint	number_of_repetitions_
	Specifies the number of repetitions for genetic algorithms.
static DREAM::uint	optimization_space_
	Specifies the size of the optimization space used in genetic algorithms.
static DREAM::uint	simulation_time_
	Specifies the simulation time for all simulation-base methods.
static bool	branching_
	Specifies whether branching is checked during model checking.
static bool	race_condition_
	Specifies whether race conditions are checked during model checking.
static bool	race_condition_combination_
	Specifies whether race condition combinations are checked during model checking.
static bool	race_condition_zero_
	Specifies whether race conditions between zero time events are checked during model checking.
static bool	non_executing_tasks_
	Specifies whether race conditions between zero time events are checked during model checking.
static bool	verbose1_
	Specifies whether verbose output is enabled.

---

Detailed Description

Global options.

Definition at line 307 of file Common.h.

---

Member Data Documentation

DREAM::uint Option::number_of_repetitions_ [static]

Specifies the number of repetitions for genetic algorithms.

Definition at line 310 of file Common.h.

Referenced by DREAM::GeneticOptimize::CPU_level(), main(), DREAM::ModelCheck::random_testing(), and DREAM::GeneticOptimize::thread_level().

DREAM::uint Option::optimization_space_ [static]

Specifies the size of the optimization space used in genetic algorithms.

Definition at line 313 of file Common.h.

Referenced by DREAM::GeneticOptimize::CPU_level(), main(), and DREAM::GeneticOptimize::thread_level().

DREAM::uint Option::simulation_time_ [static]

Specifies the simulation time for all simulation-base methods.

Definition at line 316 of file Common.h.

Referenced by main(), DREAM::System::simulate(), and DREAM::FixedPriorityScheduler::simulate().

bool Option::branching_ [static]

Specifies whether branching is checked during model checking.

Definition at line 319 of file Common.h.

Referenced by DREAM::ModelCheck::branching_point(), DREAM::Task::clock_step(), DREAM::Channel::clock_step(), DREAM::Timer::clock_step(), and main().

bool Option::race_condition_ [static]

Specifies whether race conditions are checked during model checking.

Definition at line 322 of file Common.h.

Referenced by DREAM::ModelCheck::branching_point(), DREAM::PriorityInversionList::increment(), main(), and DREAM::FixedPriorityScheduler::schedule().

bool Option::race_condition_combination_ [static]

Specifies whether race condition combinations are checked during model checking.

Definition at line 325 of file Common.h.

Referenced by DREAM::PriorityInversionList::increment(), and main().

bool Option::race_condition_zero_ [static]

Specifies whether race conditions between zero time events are checked during model checking.

Definition at line 328 of file Common.h.

Referenced by main(), and DREAM::Task::zero_delay_race_condition().

bool Option::non_executing_tasks_ [static]

Specifies whether race conditions between zero time events are checked during model checking.

Definition at line 331 of file Common.h.

Referenced by main(), and DREAM::Scheduler::stop().

bool Option::verbose1_ [static]

Specifies whether verbose output is enabled.

Definition at line 334 of file Common.h.

Referenced by DREAM::Thread::dequeue(), DREAM::Thread::enqueue(), main(), DREAM::Channel::publish(), DREAM::Timer::publish(), DREAM::Node::publish(), DREAM::ModelCheck::random_testing(), DREAM::FixedPriorityScheduler::schedule(), DREAM::Task::take_transitions(), and DREAM::ModelCheck::trace_based_model_check().

---

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

• src/core/Common.h
• src/core/Common.cpp

---