#ifndef TRANSITIONSET__H #define TRANSITIONSET__H #include <vector> #include <string> #include <unordered_map> #include "Transition.hpp" class TransitionSet { private : std::vector<Transition> transitions; std::unordered_map<std::string, std::size_t> name2index; std::optional<std::size_t> defaultAction; public : TransitionSet(const std::string & filename); std::vector<std::pair<Transition &, int>> getAppliableTransitionsCosts(const Config & c); }; #endif