src/include/mc/datatypes.h

   1 /* Copyright (c) 2008-2012. Da SimGrid Team. All rights reserved.           */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #ifndef MC_DATATYPE_H
   7 #define MC_DATATYPE_H
   8 #include "xbt/misc.h"
   9 #include "xbt/swag.h"
  10 #include "xbt/fifo.h"
  11
  12 SG_BEGIN_DECL()
  13
  14 /******************************* Transitions **********************************/
  15 typedef struct s_mc_transition *mc_transition_t;
  16
  17 typedef struct s_mc_ignore_region{
  18   void *address;
  19   size_t size;
  20 }s_mc_ignore_region_t, *mc_ignore_region_t;
  21
  22 SG_END_DECL()
  23 #endif                          /* _MC_MC_H */