Esempio n. 1
0
static void node_free(Node *node) 
{ 
  cpt_free(node->state);
  cpt_free(node->steps); 
  cpt_free(node->applicable);
  cpt_free(node);
}
Esempio n. 2
0
void mpi_yahsp_cleanup()
{
  OMP_BARRIER;
  cpt_free(send_buffer);
  cpt_free(recv_buffer);
  FOR(s, cached_steps) { cpt_free(s); } EFOR;