src/vm/vmInit.c

Go to the documentation of this file.

#include "vmInt.h"

static char rcsid[] UNUSED = "$Id: vmInit.c,v 1.17 2004/12/27 00:25:32 bli Exp $";

/*---------------------------------------------------------------------------*/
/* Static function prototypes                                                */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Definition of exported functions                                          */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Definition of internal functions                                          */
/*---------------------------------------------------------------------------*/


void
VmInit(void)
{
  vis_stdout      = stdout; 
  vis_stderr      = stderr;
  vis_historyFile = NIL(FILE);
  
  Cmd_Init();
  Tst_Init();
  Tbl_Init();
  Io_Init();
  Hrc_Init();
  Rst_Init();
  Ntk_Init();
  Ord_Init();
  Ntm_Init();
  Ctlp_Init();
  Ctlsp_Init();  
  Fsm_Init();
  Ltl_Init();    
  Grab_Init();   
  Sim_Init();
  Part_Init();
  Mvf_Init();
  Img_Init();
  Mc_Init();
  Eqv_Init();
  Amc_Init();
  Res_Init();
  Synth_Init();
  Abs_Init();
  Restr_Init();
  Imc_Init();
  Spfd_Init();
  Truesim_Init();
  Rt_Init();
  bAig_Init();
  mAig_Init();
  MvfAig_Init();
  ntmaig_Init();
  Bmc_Init();
  PureSat_Init();
}


void
VmEnd(void)
{
  Synth_End();
  Amc_End();
  Eqv_End();
  Mc_End();
  Img_End();
  Mvf_End();
  Part_End();
  Sim_End();
  Fsm_End();
  Grab_End();
  Ltl_End();   
  Ctlp_End();
  Ctlsp_End(); 
  Ntm_End();
  Ord_End();
  Ntk_End();
  Rst_End();
  Hrc_End();
  Tbl_End();
  Io_End();
  Res_End();
  Tst_End();
  Cmd_End();
  Abs_End();
  Restr_End();
  Imc_End();
  Spfd_End();
  Truesim_End();
  Rt_End();
  bAig_End();
  mAig_End();
  MvfAig_End();
  ntmaig_End();
  Bmc_End();

  if (vis_stdout != stdout) {  
    (void) fclose(vis_stdout);
  } 
  if (vis_stderr != stderr) {
    (void) fclose(vis_stderr);
  }
  if (vis_historyFile != NIL(FILE)) {
    (void) fclose(vis_historyFile);
  }
  
  vis_stdout      = stdout;
  vis_stderr      = stderr;
  vis_historyFile = NIL(FILE);
}


/*---------------------------------------------------------------------------*/
/* Definition of static functions                                            */
/*---------------------------------------------------------------------------*/