Eric Ramat 053ab5b7ee Add new formalism: fddevs vor 4 Jahren
..
CMakeLists.txt 088948cec9 Add new formalism: dsde vor 4 Jahren
Coordinator.hpp 053ab5b7ee Add new formalism: fddevs vor 4 Jahren
Executive.hpp 088948cec9 Add new formalism: dsde vor 4 Jahren
GraphManager.hpp 088948cec9 Add new formalism: dsde vor 4 Jahren