#include "../datastructures/AVLTree.h"
#include "../datastructures/AVLTree.cpp"
#include "../datastructures/LinkedList.h"
#include "../datastructures/LinkedList.cpp"
#include <iostream>
#include <iomanip>
#include <string>
#include <vector>
#include <map>
#include <time.h>
Go to the source code of this file.
Namespaces | |
| namespace | DREAM |
Classes | |
| struct | DREAM::clear_vector |
| struct to be used in std::for_each to clear elements from vectors. More... | |
| struct | DREAM::delete_item |
| struct to be used in std::for_each to delete elements from vectors. More... | |
| struct | DREAM::delete_object |
| struct to be used in std::for_each to delete elements from vectors. More... | |
| struct | DREAM::consume_pair |
| struct to be used in std::for_each to call consume () on std::pair->second. More... | |
| struct | DREAM::delete_pair |
| struct to be used in std::for_each to delete std::pairs. More... | |
| struct | DREAM::reset_pair |
| struct to be used in std::for_each to call reset () on std::pair->second. More... | |
| struct | DREAM::stop_pair |
| struct to be used in std::for_each to call stop () on std::pair->second. More... | |
| struct | DREAM::transition_pair |
| struct to be used in std::for_each to call take_transitions () on std::pair->second. More... | |
| struct | Option |
| Global options. More... | |
Defines | |
| #define | DREAM_VERBOSE |
| Specifies verbose output. | |
| #define | DREAM_BRANCHING |
| Enables the dynamic checking of events. | |
| #define | DREAM_RACE_CONDITION |
| Enables the checking of race conditions (except between zero-time events). | |
| #define | DREAM_RACE_CONDITION_COMBINATION |
| Enables the checking of race conditions combinations. | |
| #define | char_size 32 |
| #define | double_size 128 |
| #define | maxuint 4294967295 |
Typedefs | |
| typedef unsigned int | DREAM::uint |
| Unsigned int type definition. | |
| typedef unsigned char | DREAM::uchar |
| typedef enum DREAM::context_enum | DREAM::Context |
| Enum type definition for best case, worst case, or a random value. | |
| typedef std::map< std::string, DREAM::Node * > | DREAM::NODE_MAP |
| NODE_MAP type definition. | |
| typedef std::pair< std::string, DREAM::Node * > | DREAM::NODE_PAIR |
| NODE_PAIR type definition. | |
| typedef std::map< std::string, DREAM::Task * > | DREAM::TASK_MAP |
| TASK_MAP type definition. | |
| typedef std::pair< std::string, DREAM::Task * > | DREAM::TASK_PAIR |
| TASK_PAIR type definition. | |
| typedef std::map< uint, DREAM::Task * > | DREAM::TASK_UINT_MAP |
| TASK_UINT_MAP type definition. | |
| typedef std::pair< uint, DREAM::Task * > | DREAM::TASK_UINT_PAIR |
| TASK_UINT_PAIR type definition. | |
| typedef std::map< uint, DREAM::Thread * > | DREAM::THREAD_MAP |
| THREAD_MAP type definition. | |
| typedef std::pair< uint, DREAM::Thread * > | DREAM::THREAD_PAIR |
| THREAD_PAIR type definition. | |
| typedef std::map< std::string, DREAM::Thread * > | DREAM::THREAD_STR_MAP |
| THREAD_STR_MAP type definition. | |
| typedef std::pair< std::string, DREAM::Thread * > | DREAM::THREAD_STR_PAIR |
| THREAD_STR_PAIR type definition. | |
| typedef std::map< std::string, DREAM::Scheduler * > | DREAM::SCHEDULER_MAP |
| SCHEDULER_MAP type definition. | |
| typedef std::pair< std::string, DREAM::Scheduler * > | DREAM::SCHEDULER_PAIR |
| SCHEDULER_PAIR type definition. | |
| typedef DREAM::AVLTree< double, DREAM::QoSLevel * > | DREAM::QOS_AVLTREE |
| QOS_AVLTREE type definition. | |
| typedef DREAM::AVLTree< std::string, DREAM::Node * > | DREAM::NODE_AVLTREE |
| NODE_AVLTREE type definition. | |
| typedef DREAM::AVLTree< std::string, DREAM::Task * > | DREAM::TASK_AVLTREE |
| TASK_AVLTREE type definition. | |
| typedef DREAM::LinkedList< DREAM::TASK_AVLTREE * > | DREAM::TASK_AVLTREE_LIST |
| TASK_AVLTREE_LIST type definition. | |
| typedef DREAM::LinkedList< std::string > | DREAM::TASK_ID_LIST |
| TASK_ID_LIST type definition. | |
Enumerations | |
| enum | DREAM::context_enum { DREAM::bestcase, DREAM::worstcase, DREAM::randomcase, DREAM::branchingpoint, DREAM::repeat } |
| Enum type definition for best case, worst case, or a random value. More... | |
Functions | |
| double | DREAM::random (uint size) |
| Randomize function with a value between 0 and the parameter size. | |
| std::string & | DREAM::operator<< (std::string &out, const std::string ¶meter) |
| Operator overloading for appending std::string to std:string. | |
| std::string & | DREAM::operator<< (std::string &out, const char *) |
| Operator overloading for appending std::string to std:string. | |
| std::string & | DREAM::operator<< (std::string &out, uint parameter) |
| Operator overloading for appending uint to std:string. | |
| std::string & | DREAM::operator<< (std::string &out, double parameter) |
| Operator overloading for appending double to std:string. | |
DREAM - Distributed Real-time Embedded Analysis Method http://dre.sourceforge.net. Copyright (c) 2005-2007 Gabor Madl, All Rights Reserved.
This file is part of DREAM.
DREAM is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License version 2 as published by the Free Software Foundation. No future versions of the GPL license may be automatically applied to DREAM. It is in the sole discretion of the copyright holder to determine whether DREAM may be released under a different license or terms. There are no restrictions on the use of DREAM for any purpose.
DREAM is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
By submitting comments, suggestions, code, code snippets, techniques (including that of usage), and algorithms, submitters acknowledge that they have the right to do so, that any such submissions are given freely and unreservedly, and that they waive any claims to copyright or ownership. In addition, submitters acknowledge that any such submission might become part of the copyright maintained on the overall body of code, which comprises DREAM. By making a submission, submitter agrees to these terms. Furthermore, submitters acknowledge that the incorporation or modification of such submissions is entirely at the discretion of the moderators of the DREAM project.
DREAM links to the Libxml2 third party library. Please see COPYING-libxml for the copyright information of Libxml2. =================================================================
Definition in file Common.h.
| #define char_size 32 |
Definition at line 119 of file Common.h.
Referenced by DREAM::chartouint(), and DREAM::operator<<().
| #define double_size 128 |
Definition at line 120 of file Common.h.
Referenced by DREAM::operator<<(), and DREAM::Solution::visitor().
| #define DREAM_BRANCHING |
| #define DREAM_RACE_CONDITION |
| #define DREAM_RACE_CONDITION_COMBINATION |
| #define maxuint 4294967295 |
Definition at line 121 of file Common.h.
Referenced by DREAM::Timer::priority(), and DREAM::FixedPriorityScheduler::schedule().
1.5.1