model-checker : get hash of local and global variables which are not pointers

[simgrid.git] / include / simgrid / platf_generator.h

diff --git a/include/simgrid/platf_generator.h b/include/simgrid/platf_generator.h
index 3d83157..767fe6e 100644 (file)
--- a/include/simgrid/platf_generator.h
+++ b/include/simgrid/platf_generator.h
@@ -24,9 +24,11 @@ typedef struct s_context_node_t {
   double x, y;
   int degree;
   e_platf_node_kind kind;
+  int connect_checked;
   union {
     s_sg_platf_host_cbarg_t host_parameters;
     s_sg_platf_cluster_cbarg_t cluster_parameters;
+    char* router_id;
   };
 } s_context_node_t, *context_node_t;