Classes | |
| struct | clear_vector |
| struct to be used in std::for_each to clear elements from vectors. More... | |
| struct | delete_item |
| struct to be used in std::for_each to delete elements from vectors. More... | |
| struct | delete_object |
| struct to be used in std::for_each to delete elements from vectors. More... | |
| struct | consume_pair |
| struct to be used in std::for_each to call consume () on std::pair->second. More... | |
| struct | delete_pair |
| struct to be used in std::for_each to delete std::pairs. More... | |
| struct | reset_pair |
| struct to be used in std::for_each to call reset () on std::pair->second. More... | |
| struct | stop_pair |
| struct to be used in std::for_each to call stop () on std::pair->second. More... | |
| struct | transition_pair |
| struct to be used in std::for_each to call take_transitions () on std::pair->second. More... | |
| class | Exception |
| Generic Exception class used in the whole DREAM implementation. More... | |
| class | BaseClassException |
| Exception class for errors caused by calling unimplemented virtual methods in base classes. More... | |
| class | XMLException |
| Exception class for errors reported by the XML parser library. More... | |
| class | QoSLevel |
| The base class for QoS properties. More... | |
| class | Scheduler |
| Basic Scheduler model. More... | |
| class | NonConcurrentScheduler |
| Non-concurrent Scheduler model. More... | |
| class | FixedPriorityScheduler |
| Fixed priority-based Scheduler model. More... | |
| class | System |
| Distributed Real-time Embedded system model. More... | |
| class | Node |
| Generic Node class used to build the dependency graph. More... | |
| class | Timer |
| Timer model. More... | |
| class | Channel |
| Real-time event Channel . More... | |
| class | Task |
| Real-time Task. More... | |
| class | PriorityInversionList |
| This data structure is used by the model checker to introduce priority inversions into the model. More... | |
| class | NodeList |
| This is a simple map to store Nodes. More... | |
| class | Thread |
| A Thread is a map of schedulable Nodes. More... | |
| class | Solution |
| A deterministic schedule for DREAM::System. More... | |
| class | GeneticOptimize |
| Optimizes the scheduling of DREAM::System. More... | |
| struct | sort_solutions |
| Used by genetic algorithms to sort solutions based on the fitness function. More... | |
| class | ModelCheck |
| Model check class. More... | |
| class | IFInterpreter |
| The IFInterpreter class generates input for the IF toolset from the DREAM models. More... | |
| class | UppaalInterpreter |
| The UppaalInterpreter class generates Uppaal XML input from the DREAM models. More... | |
| class | XMLParser |
| XML Parser class. More... | |
| class | AVLTreeNode |
| Class for one element in the AVLTree. More... | |
| class | AVLTree |
| This class combines STL vectors and maps providing a fast implementation for find (), operator++ (), operator-- (), and operator[] () in a common class. More... | |
| class | Iterator |
| Iterator class for DREAM::AVLTree. More... | |
| class | Const_Iterator |
| Iterator class for DREAM::AVLTree. More... | |
| class | LinkedListNode |
| Struct for one element in the LinkedList. More... | |
| class | LinkedList |
| This class implements a doubly linked list. More... | |
Typedefs | |
| typedef unsigned int | uint |
| Unsigned int type definition. | |
| typedef unsigned char | uchar |
| typedef enum DREAM::context_enum | Context |
| Enum type definition for best case, worst case, or a random value. | |
| typedef std::map< std::string, DREAM::Node * > | NODE_MAP |
| NODE_MAP type definition. | |
| typedef std::pair< std::string, DREAM::Node * > | NODE_PAIR |
| NODE_PAIR type definition. | |
| typedef std::map< std::string, DREAM::Task * > | TASK_MAP |
| TASK_MAP type definition. | |
| typedef std::pair< std::string, DREAM::Task * > | TASK_PAIR |
| TASK_PAIR type definition. | |
| typedef std::map< uint, DREAM::Task * > | TASK_UINT_MAP |
| TASK_UINT_MAP type definition. | |
| typedef std::pair< uint, DREAM::Task * > | TASK_UINT_PAIR |
| TASK_UINT_PAIR type definition. | |
| typedef std::map< uint, DREAM::Thread * > | THREAD_MAP |
| THREAD_MAP type definition. | |
| typedef std::pair< uint, DREAM::Thread * > | THREAD_PAIR |
| THREAD_PAIR type definition. | |
| typedef std::map< std::string, DREAM::Thread * > | THREAD_STR_MAP |
| THREAD_STR_MAP type definition. | |
| typedef std::pair< std::string, DREAM::Thread * > | THREAD_STR_PAIR |
| THREAD_STR_PAIR type definition. | |
| typedef std::map< std::string, DREAM::Scheduler * > | SCHEDULER_MAP |
| SCHEDULER_MAP type definition. | |
| typedef std::pair< std::string, DREAM::Scheduler * > | SCHEDULER_PAIR |
| SCHEDULER_PAIR type definition. | |
| typedef DREAM::AVLTree< double, DREAM::QoSLevel * > | QOS_AVLTREE |
| QOS_AVLTREE type definition. | |
| typedef DREAM::AVLTree< std::string, DREAM::Node * > | NODE_AVLTREE |
| NODE_AVLTREE type definition. | |
| typedef DREAM::AVLTree< std::string, DREAM::Task * > | TASK_AVLTREE |
| TASK_AVLTREE type definition. | |
| typedef DREAM::LinkedList< DREAM::TASK_AVLTREE * > | TASK_AVLTREE_LIST |
| TASK_AVLTREE_LIST type definition. | |
| typedef DREAM::LinkedList< std::string > | TASK_ID_LIST |
| TASK_ID_LIST type definition. | |
| typedef enum DREAM::task_state | State |
| State of the Task as specified by the DRE Semantic Domain. | |
Enumerations | |
| enum | context_enum { bestcase, worstcase, randomcase, branchingpoint, repeat } |
| Enum type definition for best case, worst case, or a random value. More... | |
| enum | task_state { idle, enabled, preempted, executing, error } |
| State of the Task as specified by the DRE Semantic Domain. More... | |
Functions | |
| double | random (uint size) |
| Randomize function with a value between 0 and the parameter size. | |
| std::string & | operator<< (std::string &out, const std::string ¶meter) |
| Operator overloading for appending std::string to std:string. | |
| std::string & | operator<< (std::string &out, const char *) |
| Operator overloading for appending std::string to std:string. | |
| std::string & | operator<< (std::string &out, uint parameter) |
| Operator overloading for appending uint to std:string. | |
| std::string & | operator<< (std::string &out, double parameter) |
| Operator overloading for appending double to std:string. | |
| uint | chartouint (const char *xmlstr) throw (DREAM::Exception) |
| Conversion function from const char* to unsigned int. | |
| std::ostream & | operator<< (std::ostream &out, DREAM::Solution &solution) |
| std::string & | operator<< (std::string &out, DREAM::Solution &solution) |
| Operator overloading for appending DREAM::Solution to std:string. | |
| template<class item_type, class operation> | |
| void | for_each (item_type begin_iter, item_type end_iter, operation op) |
| typedef enum DREAM::context_enum DREAM::Context |
Enum type definition for best case, worst case, or a random value.
| typedef DREAM::AVLTree<std::string, DREAM::Node*> DREAM::NODE_AVLTREE |
| typedef std::map<std::string, DREAM::Node*> DREAM::NODE_MAP |
| typedef std::pair<std::string, DREAM::Node*> DREAM::NODE_PAIR |
| typedef DREAM::AVLTree<double, DREAM::QoSLevel*> DREAM::QOS_AVLTREE |
| typedef std::map<std::string, DREAM::Scheduler*> DREAM::SCHEDULER_MAP |
| typedef std::pair<std::string, DREAM::Scheduler*> DREAM::SCHEDULER_PAIR |
| typedef enum DREAM::task_state DREAM::State |
State of the Task as specified by the DRE Semantic Domain.
| typedef DREAM::AVLTree<std::string, DREAM::Task*> DREAM::TASK_AVLTREE |
| typedef DREAM::LinkedList<std::string> DREAM::TASK_ID_LIST |
| typedef std::map<std::string, DREAM::Task*> DREAM::TASK_MAP |
| typedef std::pair<std::string, DREAM::Task*> DREAM::TASK_PAIR |
| typedef std::map<uint, DREAM::Task*> DREAM::TASK_UINT_MAP |
| typedef std::pair<uint, DREAM::Task*> DREAM::TASK_UINT_PAIR |
| typedef std::map<uint, DREAM::Thread*> DREAM::THREAD_MAP |
| typedef std::pair<uint, DREAM::Thread*> DREAM::THREAD_PAIR |
| typedef std::map<std::string, DREAM::Thread*> DREAM::THREAD_STR_MAP |
| typedef std::pair<std::string, DREAM::Thread*> DREAM::THREAD_STR_PAIR |
| typedef unsigned char DREAM::uchar |
| typedef unsigned int DREAM::uint |
| enum DREAM::context_enum |
| enum DREAM::task_state |
| uint DREAM::chartouint | ( | const char * | str | ) | throw (DREAM::Exception) |
Conversion function from const char* to unsigned int.
Definition at line 98 of file Exception.cpp.
References char_size.
Referenced by main(), DREAM::XMLParser::process_channel(), DREAM::XMLParser::process_CPU(), DREAM::XMLParser::process_task(), DREAM::XMLParser::process_thread(), and DREAM::XMLParser::process_timer().
| void DREAM::for_each | ( | item_type | begin_iter, | |
| item_type | end_iter, | |||
| operation | op | |||
| ) |
Definition at line 211 of file Iterator.h.
Referenced by DREAM::GeneticOptimize::CPU_level(), DREAM::XMLParser::parse(), DREAM::NodeList::publish(), DREAM::Thread::reset(), DREAM::System::reset(), DREAM::Scheduler::reset(), DREAM::NonConcurrentScheduler::schedule(), DREAM::System::simulate(), DREAM::Scheduler::take_transitions(), DREAM::GeneticOptimize::thread_level(), DREAM::Scheduler::~Scheduler(), DREAM::System::~System(), and DREAM::Thread::~Thread().
| std::string& DREAM::operator<< | ( | std::string & | out, | |
| DREAM::Solution & | solution | |||
| ) |
Operator overloading for appending DREAM::Solution to std:string.
| std::ostream& DREAM::operator<< | ( | std::ostream & | out, | |
| DREAM::Solution & | solution | |||
| ) |
Definition at line 56 of file GeneticAlgorithm.cpp.
References DREAM::AVLTree< key_type, item_type >::begin(), DREAM::AVLTree< key_type, item_type >::end(), DREAM::Solution::fitness_, and DREAM::Solution::task_avltree_.
| std::string & DREAM::operator<< | ( | std::string & | out, | |
| double | parameter | |||
| ) |
Operator overloading for appending double to std:string.
Definition at line 112 of file Common.cpp.
References double_size.
| std::string & DREAM::operator<< | ( | std::string & | out, | |
| uint | parameter | |||
| ) |
Operator overloading for appending uint to std:string.
Definition at line 100 of file Common.cpp.
References char_size.
| std::string & DREAM::operator<< | ( | std::string & | out, | |
| const char * | parameter | |||
| ) |
Operator overloading for appending std::string to std:string.
Definition at line 92 of file Common.cpp.
| std::string & DREAM::operator<< | ( | std::string & | out, | |
| const std::string & | parameter | |||
| ) |
Operator overloading for appending std::string to std:string.
Definition at line 79 of file Common.cpp.
| double DREAM::random | ( | uint | size | ) |
Randomize function with a value between 0 and the parameter size.
Definition at line 70 of file Common.cpp.
Referenced by DREAM::Task::clock_exec_reset(), DREAM::Channel::clock_exec_reset(), DREAM::Timer::clock_exec_reset(), DREAM::GeneticOptimize::CPU_level(), DREAM::GeneticOptimize::mutate(), DREAM::Solution::regenerate_priorities(), DREAM::Solution::regenerate_subpriorities(), DREAM::FixedPriorityScheduler::schedule(), and DREAM::GeneticOptimize::thread_level().
1.5.1