source: vis_dev/vis-2.3/src/rt/rtInt.h @ 45

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

vis2.3
File size: 4.8 KB
Line 
1/**CHeaderFile*****************************************************************
2
3  FileName    [rtInt.h]
4
5  PackageName [rt]
6
7  Synopsis    [Internal declarations.]
8
9  Author      [HoonSang Jin]
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  Revision    [$Id: rtInt.h,v 1.4 2002/09/19 21:44:06 jinh Exp $]
31
32******************************************************************************/
33
34#ifndef _RTINT
35#define _RTINT
36
37/*---------------------------------------------------------------------------*/
38/* Nested includes                                                           */
39/*---------------------------------------------------------------------------*/
40#include "rt.h"
41#include <string.h>
42
43
44/*---------------------------------------------------------------------------*/
45/* Constant declarations                                                     */
46/*---------------------------------------------------------------------------*/
47
48
49/*---------------------------------------------------------------------------*/
50/* Structure declarations                                                    */
51/*---------------------------------------------------------------------------*/
52struct RtConfig {
53  char *configurationFile;
54  char *designDirectory;
55  char *referenceVis;
56  char *referenceVisNickName;
57  char *referenceVisOptionFile;
58  char *referenceOutDirectory;
59  int  bRefRun;
60  char *newVis;
61  char *newVisNickName;
62  char *newVisOptionFile;
63  char *newOutDirectory;
64  int  bNewRun;
65  char *refCommandTemplate;
66  char *newCommandTemplate;
67  char *designList;
68  int bRefOnly;
69  int bCompareCounterExample;
70  int bFinalResultOnly;
71  int bDefaultInitCommand;
72  int bDontRemoveTempFile;
73  char *resultForCounterExample;
74  char *resultForPerformance;
75  char *scriptFile;
76  array_t *compareItemArr;
77  array_t *designListArr;
78  array_t *refCommandTemplateArr;
79  array_t *newCommandTemplateArr;
80  st_table *keyWordTable;
81};
82
83struct RtDesignList {
84  char *designDirectory;
85  char *designNickName;
86  char *blifFile;
87  char *ctlFile;
88  char *invFile;
89  char *leFile;
90  char *fairFile;
91  char *hintFile;
92  char *ordFile;
93  char *ltlFile;
94  int coreDumped;
95  int refRunFail;
96  int newRunFail;
97  int bIsMv;
98  array_t *resultForCommandArr1;
99  array_t *resultForCommandArr2;
100};
101
102struct RtCommandResult {
103  char *command;
104  int error;
105  array_t *compareItemArr;
106  array_t *resultForProperty;
107  int  bTimeOut;
108};
109
110struct RtCompareItem {
111  char *itemName;
112  char *itemNickName;
113  char *value;
114};
115
116struct RtResultProperty {
117  int  index;
118  char *failOrPass;
119  int  lengthOfBasic;
120  int  lengthOfStem;
121  int  lengthOfCycle;
122  int  lengthOfInv;
123  int  lengthOfCounterExample;
124};
125
126
127/*---------------------------------------------------------------------------*/
128/* Type declarations                                                         */
129/*---------------------------------------------------------------------------*/
130
131typedef struct RtDesignList RtDesignLists_t;
132typedef struct RtCommandResult RtCommandResults_t;
133typedef struct RtCompareItem RtCompareItems_t;
134typedef struct RtConfig RtConfigs_t;
135typedef struct RtResultProperty RtResultPropertys_t;
136
137
138
139/*---------------------------------------------------------------------------*/
140/* Macro declarations                                                        */
141/*---------------------------------------------------------------------------*/
142
143
144/**AutomaticStart*************************************************************/
145
146/*---------------------------------------------------------------------------*/
147/* Function prototypes                                                       */
148/*---------------------------------------------------------------------------*/
149
150
151/**AutomaticEnd***************************************************************/
152
153#endif /* _RTINT */
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
Note: See TracBrowser for help on using the repository browser.