.. |
context
|
aafce12776
Add save/restore mecanisms
|
4 anos atrás |
observer
|
98b4bfd151
Add timed observations
|
4 anos atrás |
scheduler
|
088948cec9
Add new formalism: dsde
|
4 anos atrás |
time
|
237a72ba46
Add new time representation: rational and integer
|
4 anos atrás |
utils
|
90b1d817fb
Multiple fixes: multithreading pdevs, output and observations
|
4 anos atrás |
Any.hpp
|
aafce12776
Add save/restore mecanisms
|
4 anos atrás |
Bag.hpp
|
81e75cb90e
Add new formalism: devs
|
4 anos atrás |
CMakeLists.txt
|
c95f7f6c20
Add context and save/restore
|
4 anos atrás |
Coordinator.hpp
|
088948cec9
Add new formalism: dsde
|
4 anos atrás |
ExternalEvent.hpp
|
90b1d817fb
Multiple fixes: multithreading pdevs, output and observations
|
4 anos atrás |
GraphManager.hpp
|
088948cec9
Add new formalism: dsde
|
4 anos atrás |
InternalEvent.hpp
|
76caeac1d1
Clean and optimize code
|
4 anos atrás |
Links.hpp
|
81e75cb90e
Add new formalism: devs
|
4 anos atrás |
Macro.hpp
|
c95f7f6c20
Add context and save/restore
|
4 anos atrás |
Model.hpp
|
088948cec9
Add new formalism: dsde
|
4 anos atrás |
Node.hpp
|
76caeac1d1
Clean and optimize code
|
4 anos atrás |
Parameters.hpp
|
76caeac1d1
Clean and optimize code
|
4 anos atrás |
RootCoordinator.hpp
|
98b4bfd151
Add timed observations
|
4 anos atrás |
Scheduler.hpp
|
76caeac1d1
Clean and optimize code
|
4 anos atrás |
Simulator.hpp
|
088948cec9
Add new formalism: dsde
|
4 anos atrás |
States.hpp
|
5cad47f561
Simplify QSS interface
|
4 anos atrás |
Value.hpp
|
b76101a616
Remove std::vector to value and add pointer
|
4 anos atrás |