-/* Copyright (c) 2009-2010, 2012-2014. The SimGrid Team.
+/* Copyright (c) 2009-2010, 2012-2017. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
papi_counter_t papi_counter_data_;
#endif
public:
- Process(int index);
+ explicit Process(int index);
void destroy();
void set_data(int index, int *argc, char ***argv);
void finalize();
smx_mailbox_t mailbox();
smx_mailbox_t mailbox_small();
xbt_mutex_t mailboxes_mutex();
- #if HAVE_PAPI
+#if HAVE_PAPI
int papi_event_set(void);
papi_counter_t& papi_counters(void);
- #endif
+#endif
xbt_os_timer_t timer();
void simulated_start();
double simulated_elapsed();