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

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

vis2.3
File size: 4.8 KB
RevLine 
[14]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.