| DREAM::AVLTree< key_type, item_type > | This class combines STL vectors and maps providing a fast implementation for find (), operator++ (), operator-- (), and operator[] () in a common class |
| DREAM::AVLTreeNode< key_type, item_type > | Class for one element in the AVLTree |
| DREAM::BaseClassException | Exception class for errors caused by calling unimplemented virtual methods in base classes |
| DREAM::Channel | Real-time event Channel |
| DREAM::clear_vector | Struct to be used in std::for_each to clear elements from vectors |
| DREAM::Const_Iterator< item_type > | Iterator class for DREAM::AVLTree |
| DREAM::consume_pair | Struct to be used in std::for_each to call consume () on std::pair->second |
| DREAM::delete_item | Struct to be used in std::for_each to delete elements from vectors |
| DREAM::delete_object | Struct to be used in std::for_each to delete elements from vectors |
| DREAM::delete_pair | Struct to be used in std::for_each to delete std::pairs |
| DREAM::Exception | Generic Exception class used in the whole DREAM implementation |
| DREAM::FixedPriorityScheduler | Fixed priority-based Scheduler model |
| DREAM::GeneticOptimize | Optimizes the scheduling of DREAM::System |
| DREAM::IFInterpreter | The IFInterpreter class generates input for the IF toolset from the DREAM models |
| DREAM::Iterator< item_type > | Iterator class for DREAM::AVLTree |
| DREAM::LinkedList< item_type > | This class implements a doubly linked list |
| DREAM::LinkedListNode< item_type > | Struct for one element in the LinkedList |
| DREAM::ModelCheck | Model check class |
| DREAM::Node | Generic Node class used to build the dependency graph |
| DREAM::NodeList | This is a simple map to store Nodes |
| DREAM::NonConcurrentScheduler | Non-concurrent Scheduler model |
| Option | Global options |
| DREAM::PriorityInversionList | This data structure is used by the model checker to introduce priority inversions into the model |
| DREAM::QoSLevel | The base class for QoS properties |
| DREAM::reset_pair | Struct to be used in std::for_each to call reset () on std::pair->second |
| DREAM::Scheduler | Basic Scheduler model |
| DREAM::Solution | A deterministic schedule for DREAM::System |
| DREAM::sort_solutions | Used by genetic algorithms to sort solutions based on the fitness function |
| DREAM::stop_pair | Struct to be used in std::for_each to call stop () on std::pair->second |
| DREAM::System | Distributed Real-time Embedded system model |
| DREAM::Task | Real-time Task |
| DREAM::Thread | A Thread is a map of schedulable Nodes |
| DREAM::Timer | Timer model |
| DREAM::transition_pair | Struct to be used in std::for_each to call take_transitions () on std::pair->second |
| DREAM::UppaalInterpreter | The UppaalInterpreter class generates Uppaal XML input from the DREAM models |
| DREAM::XMLException | Exception class for errors reported by the XML parser library |
| DREAM::XMLParser | XML Parser class |
1.5.1