| 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
|
