DREAM File List

Here is a list of all files with brief descriptions:

src/algorithm/GeneticAlgorithm.cpp [code]	Author: Gabor Madl Genetic algorithm library
src/algorithm/GeneticAlgorithm.h [code]	Author: Gabor Madl Genetic algorithm library
src/algorithm/ModelCheck.cpp [code]	Author: Gabor Madl Model Checker library
src/algorithm/ModelCheck.h [code]	Author: Gabor Madl Model Checker library
src/core/Common.cpp [code]	Author: Gabor Madl Common declarations used in DREAM
src/core/Common.h [code]	Author: Gabor Madl Common declarations used in DREAM
src/core/Exception.cpp [code]	Author: Gabor Madl The Exception class used in DREAM
src/core/Exception.h [code]	Author: Gabor Madl The Exception class used in DREAM
src/core/Scheduler.cpp [code]	Author: Gabor Madl Scheduler model implementation
src/core/Scheduler.h [code]	Author: Gabor Madl Scheduler model implementation
src/core/System.cpp [code]	Author: Gabor Madl Distributed Real-time Embedded system model of computation
src/core/System.h [code]	Author: Gabor Madl Distributed Real-time Embedded system model of computation
src/core/Task.cpp [code]	Author: Gabor Madl Specifies basic elements in the DRE Semantic Domain
src/core/Task.h [code]	Author: Gabor Madl Specifies basic elements in the DRE Semantic Domain
src/core/Thread.cpp [code]	Author: Gabor Madl Thread implementation
src/core/Thread.h [code]	Author: Gabor Madl Thread implementation
src/datastructures/AVLTree.cpp [code]	Author: Gabor Madl AVL-tree template class
src/datastructures/AVLTree.h [code]	Author: Gabor Madl AVL-tree template class
src/datastructures/Iterator.cpp [code]	Author: Gabor Madl Iterator template class
src/datastructures/Iterator.h [code]	Author: Gabor Madl Iterator template class
src/datastructures/LinkedList.cpp [code]	Author: Gabor Madl Doubly linked list template class
src/datastructures/LinkedList.h [code]	Author: Gabor Madl Doubly linked list template class
src/logic/Dream.cpp [code]	Author: Gabor Madl Main executable for DREAM. This file manages the text-based menu, the XML parser, the simulation, verification and optimization engines of DREAM
src/logic/IFInterpreter.cpp [code]	Author: Gabor Madl This interpreter generates input for the IF toolset from the DREAM models
src/logic/IFInterpreter.h [code]	Author: Gabor Madl This interpreter generates input for the IF toolset from the DREAM models
src/logic/UppaalInterpreter.cpp [code]	Author: Gabor Madl This interpreter generates Uppaal XML input from the DREAM models
src/logic/UppaalInterpreter.h [code]	Author: Gabor Madl This interpreter generates Uppaal XML input from the DREAM models
src/logic/XMLParser.cpp [code]	Author: Gabor Madl XML Parser library
src/logic/XMLParser.h [code]	Author: Gabor Madl XML Parser library

---