src/amas/action.cpp

src/amas/automata.cpp

src/amas/automaton.cpp

src/amas/automaton.hpp

src/amas/channel.cpp

src/amas/state.cpp

src/amas/state.hpp