using ActorCode = std::function<void()>;
// Create an ActorCode from the parameters parsed in the XML file (or elsewhere)
using ActorCodeFactory = std::function<ActorCode(std::vector<std::string> args)>;
+
+class SimcallObserver;
} // namespace actor
namespace activity {
}
namespace mc {
class CommunicationDeterminismChecker;
-class SimcallObserver;
}
namespace vm {
class VMModel;