src/mc/mc_pair.c

   1 /* Copyright (c) 2013 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 #include "mc_private.h"
   7
   8 mc_pair_t MC_pair_new(mc_state_t gs, xbt_automaton_state_t as, int r){
   9   mc_pair_t p = NULL;
  10   p = xbt_new0(s_mc_pair_t, 1);
  11   p->automaton_state = as;
  12   p->graph_state = gs;
  13   p->system_state = NULL;
  14   p->requests = r;
  15   p->num = ++mc_stats->expanded_pairs;
  16   return p;
  17 }
  18
  19 void MC_pair_delete(mc_pair_t p){
  20   p->automaton_state = NULL;
  21   if(p->system_state)
  22     MC_free_snapshot(p->system_state);
  23   MC_state_delete(p->graph_state);
  24   xbt_free(p);
  25 }