12 #include <unordered_set>
46 using origin_t = std::pair<std::string, std::string>;
61 std::pair<bool, Transition> transition(
const std::string & state,
const std::string & output)
const;
64 std::unordered_set<std::string> transitions(
const std::string & state)
const;
83 const std::string & initState()
const;
86 std::ostream & print(std::ostream & os)
const;
89 std::string init_state_;
90 std::map<origin_t, Transition> map_;