#include "src/instr/instr_private.hpp"
#include <string>
+#include <vector>
namespace simgrid {
namespace instr {
class LinkType;
class StateType;
class VariableType;
+class StateEvent;
class Type {
long long int id_;
};
class StateType : public ValueType {
+ std::vector<StateEvent*> events_;
+
public:
StateType(std::string name, Type* father);
+ ~StateType();
+ void setEvent(double timestamp, Container* container, std::string value_name);
+ void pushEvent(double timestamp, Container* container, std::string value_name);
+ void pushEvent(double timestamp, Container* container, std::string value_name, void* extra);
+ void popEvent(double timestamp, Container* container);
};
}
}