#ifndef SG_PLATF_TYPES_H
#define SG_PLATF_TYPES_H
-#include <xbt.h>
-
#ifdef __cplusplus
namespace simgrid {
namespace s4u {
+ class As;
class Host;
+ class Mailbox;
+ }
+ namespace simix {
+ class Synchro;
}
namespace surf {
class Resource;
class Cpu;
class NetCard;
- class As;
class Link;
}
namespace trace_mgr {
+ class trace;
class future_evt_set;
}
}
+typedef simgrid::s4u::As simgrid_As;
typedef simgrid::s4u::Host simgrid_Host;
-typedef simgrid::surf::As surf_As;
+typedef simgrid::s4u::Mailbox simgrid_Mailbox;
+typedef simgrid::simix::Synchro simix_Synchro;
typedef simgrid::surf::Cpu surf_Cpu;
typedef simgrid::surf::NetCard surf_NetCard;
typedef simgrid::surf::Link Link;
typedef simgrid::surf::Resource surf_Resource;
+typedef simgrid::trace_mgr::trace tmgr_Trace;
#else
+typedef struct simgrid_As simgrid_As;
typedef struct simgrid_Host simgrid_Host;
-typedef struct surf_As surf_As;
+typedef struct simgrid_Mailbox simgrid_Mailbox;
+typedef struct simix_Synchro simix_Synchro;
typedef struct surf_Cpu surf_Cpu;
typedef struct surf_NetCard surf_NetCard;
typedef struct surf_Resource surf_Resource;
typedef struct Link Link;
+typedef struct Trace tmgr_Trace;
#endif
+typedef simgrid_As *AS_t;
typedef simgrid_Host* sg_host_t;
-typedef surf_As *AS_t;
+typedef simgrid_Mailbox* sg_mbox_t;
+
+typedef simix_Synchro *smx_synchro_t;
+
typedef surf_Cpu *surf_cpu_t;
typedef surf_NetCard *sg_netcard_t;
typedef surf_Resource *sg_resource_t;
// Types which are in fact dictelmt:
-typedef xbt_dictelm_t sg_storage_t;
+typedef struct s_xbt_dictelm *sg_storage_t;
+
+typedef tmgr_Trace *tmgr_trace_t; /**< Opaque structure defining an availability trace */
-typedef struct tmgr_trace *tmgr_trace_t; /**< Opaque structure defining an availability trace */
+typedef struct s_smx_simcall s_smx_simcall_t;
+typedef struct s_smx_simcall* smx_simcall_t;
typedef enum {
SURF_LINK_FULLDUPLEX = 2,