void buffer_debug(std::vector<PajeEvent*> *buf) {
return;
XBT_DEBUG(">>>>>> Dump the state of the buffer. %zu events", buf->size());
void buffer_debug(std::vector<PajeEvent*> *buf) {
return;
XBT_DEBUG(">>>>>> Dump the state of the buffer. %zu events", buf->size());
-SetStateEvent::SetStateEvent(double timestamp, container_t container, Type* type, value* val)
+SetStateEvent::SetStateEvent(double timestamp, container_t container, Type* type, Value* val)
-PushStateEvent::PushStateEvent(double timestamp, container_t container, Type* type, value* val, void* extra)
+PushStateEvent::PushStateEvent(double timestamp, container_t container, Type* type, Value* val, void* extra)
-PushStateEvent::PushStateEvent(double timestamp, container_t container, Type* type, value* val)
+PushStateEvent::PushStateEvent(double timestamp, container_t container, Type* type, Value* val)
: PushStateEvent(timestamp, container, type, val, nullptr)
{}
void PushStateEvent::print() {
: PushStateEvent(timestamp, container, type, val, nullptr)
{}
void PushStateEvent::print() {
-NewEvent::NewEvent(double timestamp, container_t container, Type* type, value* val)
+NewEvent::NewEvent(double timestamp, container_t container, Type* type, Value* val)