vector of edges in state replaced with std::set