Annoyingly, the Supervisor uses things from the standard template library without using namespace std in its own header. Specifically, it uses std::vector
This causes problems when using the supervisor code with other backends that don't liberally scatter using namespace std throughout their source
Annoyingly, the Supervisor uses things from the standard template library without
using namespace stdin its own header. Specifically, it usesstd::vectorThis causes problems when using the supervisor code with other backends that don't liberally scatter
using namespace stdthroughout their source