Channels added to the design
Showing
- src/adt2amas.cpp 28 additions, 17 deletionssrc/adt2amas.cpp
- src/amas/CMakeLists.txt 1 addition, 1 deletionsrc/amas/CMakeLists.txt
- src/amas/action.cpp 1 addition, 13 deletionssrc/amas/action.cpp
- src/amas/action.hpp 2 additions, 13 deletionssrc/amas/action.hpp
- src/amas/automata.cpp 20 additions, 4 deletionssrc/amas/automata.cpp
- src/amas/automata.hpp 8 additions, 2 deletionssrc/amas/automata.hpp
- src/amas/automaton.cpp 9 additions, 2 deletionssrc/amas/automaton.cpp
- src/amas/automaton.hpp 7 additions, 3 deletionssrc/amas/automaton.hpp
- src/amas/channel.cpp 12 additions, 7 deletionssrc/amas/channel.cpp
- src/amas/channel.hpp 12 additions, 14 deletionssrc/amas/channel.hpp
- src/amas/channel_type.cpp 0 additions, 19 deletionssrc/amas/channel_type.cpp
- src/amas/label.cpp 14 additions, 2 deletionssrc/amas/label.cpp
- src/amas/label.hpp 11 additions, 1 deletionsrc/amas/label.hpp
- src/amas/state.cpp 6 additions, 0 deletionssrc/amas/state.cpp
- src/amas/state.hpp 2 additions, 0 deletionssrc/amas/state.hpp
- src/amas/synchronization.cpp 25 additions, 0 deletionssrc/amas/synchronization.cpp
- src/amas/synchronization.hpp 34 additions, 0 deletionssrc/amas/synchronization.hpp
- src/amas/synchronization_type.cpp 19 additions, 0 deletionssrc/amas/synchronization_type.cpp
- src/amas/synchronization_type.hpp 18 additions, 0 deletionssrc/amas/synchronization_type.hpp
- src/amas/transition.cpp 2 additions, 10 deletionssrc/amas/transition.cpp
Loading
Please register or sign in to comment