src/amas/action.hpp

src/amas/automata.hpp

src/amas/automaton.hpp

src/amas/channel.hpp

src/amas/label.hpp

src/amas/state.hpp

src/amas/state_type.hpp

src/amas/synchronization.hpp

src/amas/synchronization_type.hpp

src/amas/transition.hpp