mcpat/cacti/main.cc

39 int main(int argc,char *argv[])
50       if (argv[i] == string("-infile"))
54         infile_name = argv[i];
73           result = cacti_interface(atoi(argv[ 1]),
74                           atoi(argv[ 2]),
75                           atoi(argv[ 3]),
76                           atoi(argv[ 4]),
77                           atoi(argv[ 5]),
78                           atoi(argv[ 6]),
79                           atoi(argv[ 7]),
80                           atoi(argv[ 8]),
81                           atoi(argv[ 9]),
82                           atof(argv[10]),
83                           atoi(argv[11]),
84                           atoi(argv[12]),
85                           atoi(argv[13]),
86                           atoi(argv[14]),
87                           atoi(argv[15]),
88                           atoi(argv[16]),
89                           atoi(argv[17]),
90                           atoi(argv[18]),
91                           atoi(argv[19]),
92                           atoi(argv[20]),
93                           atoi(argv[21]),
94                           atoi(argv[22]),
95                           atoi(argv[23]),
96                           atoi(argv[24]),
97                           atoi(argv[25]),
98                           atoi(argv[26]),
99                           atoi(argv[27]),
100                           atoi(argv[28]),
101                           atoi(argv[29]),
102                           atoi(argv[30]),
103                           atoi(argv[31]),
104                           atoi(argv[32]),
105                           atoi(argv[33]),
106                           atoi(argv[34]),
107                           atoi(argv[35]),
108                           atoi(argv[36]),
109                           atoi(argv[37]),
110                           atoi(argv[38]),
111                           atoi(argv[39]),
112                           atoi(argv[40]),
113                           atoi(argv[41]),
114                           atoi(argv[42]),
115                           atoi(argv[43]),
116                           atoi(argv[44]),
117                           atoi(argv[45]),
118                           atoi(argv[46]),
119                           atoi(argv[47]),
120                           atoi(argv[48]),
121                           atoi(argv[49]),
122                           atoi(argv[50]),
123                           atoi(argv[51]),
124                           atoi(argv[52]));
128           result = cacti_interface(atoi(argv[ 1]),
129                           atoi(argv[ 2]),
130                           atoi(argv[ 3]),
131                           atoi(argv[ 4]),
132                           atoi(argv[ 5]),
133                           atoi(argv[ 6]),
134                           atoi(argv[ 7]),
135                           atoi(argv[ 8]),
136                           atof(argv[ 9]),
137                           atoi(argv[10]),
138                           atoi(argv[11]),
139                           atoi(argv[12]),
140                           atoi(argv[13]),
141                           atoi(argv[14]),
142                           atoi(argv[15]),
143                           atoi(argv[16]),
144                           atoi(argv[17]),
145                           atoi(argv[18]),
146                           atoi(argv[19]),
147                           atoi(argv[20]),
148                           atoi(argv[21]),
149                           atoi(argv[22]),
150                           atoi(argv[23]),
151                           atoi(argv[24]),
152                           atoi(argv[25]),
153                           atoi(argv[26]),
154                           atoi(argv[27]),
155                           atoi(argv[28]),
156                           atoi(argv[29]),
157                           atoi(argv[30]),
158                           atoi(argv[31]),
159                           atoi(argv[32]),
160                           atoi(argv[33]),
161                           atoi(argv[34]),
162                           atoi(argv[35]),
163                           atoi(argv[36]),
164                           atoi(argv[37]),
165                           atoi(argv[38]),
166                           atoi(argv[39]),
167                           atoi(argv[40]),
168                           atoi(argv[41]),
169                           atoi(argv[42]),
170                           atoi(argv[43]),
171                           atoi(argv[44]),
172                           atoi(argv[45]),
173                           atoi(argv[46]),
174                           atoi(argv[47]),
175                           atoi(argv[48]),
176                           atoi(argv[49]),
177                           atoi(argv[50]),
178                           atoi(argv[51]),
179                           atoi(argv[52]),
180                           atoi(argv[53]),
181                           atoi(argv[54]));