source: vis_dev/vis-2.3/src/vm/vmInit.c @ 14

Last change on this file since 14 was 14, checked in by cecile, 13 years ago

vis2.3
File size: 4.6 KB
Line 
1/**CFile***********************************************************************
2
3  FileName    [vmInit.c]
4
5  PackageName [vm]
6
7  Synopsis    [Initializes and ends VIS.]
8
9  Author      [Originated from SIS]
10
11  Copyright   [Copyright (c) 1994-1996 The Regents of the Univ. of California.
12  All rights reserved.
13
14  Permission is hereby granted, without written agreement and without license
15  or royalty fees, to use, copy, modify, and distribute this software and its
16  documentation for any purpose, provided that the above copyright notice and
17  the following two paragraphs appear in all copies of this software.
18
19  IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
20  DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
21  OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
22  CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
23
24  THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
25  INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
26  FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS ON AN
27  "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE
28  MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.]
29
30******************************************************************************/
31
32#include "vmInt.h"
33
34static char rcsid[] UNUSED = "$Id: vmInit.c,v 1.17 2004/12/27 00:25:32 bli Exp $";
35
36/**AutomaticStart*************************************************************/
37
38/*---------------------------------------------------------------------------*/
39/* Static function prototypes                                                */
40/*---------------------------------------------------------------------------*/
41
42
43/**AutomaticEnd***************************************************************/
44
45
46/*---------------------------------------------------------------------------*/
47/* Definition of exported functions                                          */
48/*---------------------------------------------------------------------------*/
49
50/*---------------------------------------------------------------------------*/
51/* Definition of internal functions                                          */
52/*---------------------------------------------------------------------------*/
53
54
55/**Function********************************************************************
56
57  Synopsis    [Calls the initialization routines of all the packages.]
58
59  SideEffects [Sets the global variables vis_stdout, vis_stderr,
60  vis_historyFile.]
61
62  SeeAlso     [VmEnd]
63
64******************************************************************************/
65void
66VmInit(void)
67{
68  vis_stdout      = stdout; 
69  vis_stderr      = stderr;
70  vis_historyFile = NIL(FILE);
71 
72  Cmd_Init();
73  Tst_Init();
74  Tbl_Init();
75  Io_Init();
76  Hrc_Init();
77  Rst_Init();
78  Ntk_Init();
79  Ord_Init();
80  Ntm_Init();
81  Ctlp_Init();
82  Ctlsp_Init(); 
83  Fsm_Init();
84  Ltl_Init();   
85  Grab_Init();   
86  Sim_Init();
87  Part_Init();
88  Mvf_Init();
89  Img_Init();
90  Mc_Init();
91  Eqv_Init();
92  Amc_Init();
93  Res_Init();
94  Synth_Init();
95  Abs_Init();
96  Restr_Init();
97  Imc_Init();
98  Spfd_Init();
99  Truesim_Init();
100  Rt_Init();
101  bAig_Init();
102  mAig_Init();
103  MvfAig_Init();
104  ntmaig_Init();
105  Bmc_Init();
106  PureSat_Init();
107}
108
109
110/**Function********************************************************************
111
112  Synopsis    [Calls the end routines of all the packages.]
113
114  SideEffects [Closes the output files if not the standard ones.]
115
116  SeeAlso     [VmInit]
117
118******************************************************************************/
119void
120VmEnd(void)
121{
122  Synth_End();
123  Amc_End();
124  Eqv_End();
125  Mc_End();
126  Img_End();
127  Mvf_End();
128  Part_End();
129  Sim_End();
130  Fsm_End();
131  Grab_End();
132  Ltl_End();   
133  Ctlp_End();
134  Ctlsp_End(); 
135  Ntm_End();
136  Ord_End();
137  Ntk_End();
138  Rst_End();
139  Hrc_End();
140  Tbl_End();
141  Io_End();
142  Res_End();
143  Tst_End();
144  Cmd_End();
145  Abs_End();
146  Restr_End();
147  Imc_End();
148  Spfd_End();
149  Truesim_End();
150  Rt_End();
151  bAig_End();
152  mAig_End();
153  MvfAig_End();
154  ntmaig_End();
155  Bmc_End();
156
157  if (vis_stdout != stdout) { 
158    (void) fclose(vis_stdout);
159  } 
160  if (vis_stderr != stderr) {
161    (void) fclose(vis_stderr);
162  }
163  if (vis_historyFile != NIL(FILE)) {
164    (void) fclose(vis_historyFile);
165  }
166 
167  vis_stdout      = stdout;
168  vis_stderr      = stderr;
169  vis_historyFile = NIL(FILE);
170}
171
172
173/*---------------------------------------------------------------------------*/
174/* Definition of static functions                                            */
175/*---------------------------------------------------------------------------*/
Note: See TracBrowser for help on using the repository browser.