00001 # ifndef CPPAD_TAPE_REC_INCLUDED
00002 # define CPPAD_TAPE_REC_INCLUDED
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039
00040
00041
00042
00043
00044
00045
00046
00047
00048
00049
00050
00051
00052
00053
00054
00055
00056
00057
00058
00059
00060
00061
00062
00063
00064
00065
00066
00067
00068
00069
00070
00071
00072
00073
00074
00075
00076
00077
00078
00079
00080
00081
00082
00083
00084
00085
00086
00087
00088
00089
00090
00091
00092
00093
00094
00095
00096
00097
00098
00099
00100
00101
00102
00103
00104
00105
00106
00107
00108
00109
00110
00111
00112
00113
00114
00115
00116
00117
00118
00119
00120
00121
00122
00123
00124
00125
00126
00127
00128
00129
00130
00131
00132
00133
00134
00135
00136
00137
00138
00139
00140
00141
00142
00143
00144
00145
00146
00147
00148
00149
00150
00151
00152
00153
00154
00155
00156
00157
00158
00159
00160
00161
00162
00163
00164
00165
00166
00167
00168
00169
00170
00171
00172
00173
00174
00175
00176
00177
00178
00179
00180
00181
00182
00183
00184
00185
00186
00187
00188
00189
00190
00191
00192
00193
00194
00195
00196
00197
00198
00199
00200
00201
00202
00203
00204
00205
00206
00207
00208
00209
00210
00211
00212
00213
00214
00215
00216
00217
00218
00219
00220
00221
00222
00223
00224
00225
00226
00227
00228
00229
00230
00231
00232
00233
00234
00235
00236
00237
00238
00239
00240
00241
00242
00243
00244
00245
00246
00247
00248
00249 namespace CppAD {
00250
00251 template <class Base>
00252 class TapeRec {
00253
00254 public:
00255
00256 TapeRec(void)
00257 {
00258 TotalNumberVar = 0;
00259
00260 NumberOp = 0;
00261 LengthOp = 0;
00262 Op = CPPAD_NULL;
00263
00264 NumberVecInd = 0;
00265 LengthVecInd = 0;
00266 VecInd = CPPAD_NULL;
00267
00268 NumberInd = 0;
00269 LengthInd = 0;
00270 Ind = CPPAD_NULL;
00271
00272 NumberPar = 0;
00273 LengthPar = 0;
00274 Par = CPPAD_NULL;
00275
00276 NumberTxt = 0;
00277 LengthTxt = 0;
00278 Txt = CPPAD_NULL;
00279
00280 }
00281
00282
00283 ~TapeRec(void)
00284 { if( LengthOp > 0 )
00285 CPPAD_TRACK_DEL_VEC(Op);
00286 if( LengthVecInd > 0 )
00287 CPPAD_TRACK_DEL_VEC(VecInd);
00288 if( LengthInd > 0 )
00289 CPPAD_TRACK_DEL_VEC(Ind);
00290 if( LengthPar > 0 )
00291 CPPAD_TRACK_DEL_VEC(Par);
00292 if( LengthTxt > 0 )
00293 CPPAD_TRACK_DEL_VEC(Txt);
00294 }
00295
00296
00297 void operator=(const TapeRec &Other)
00298 { size_t i;
00299
00300 if( LengthOp > 0 )
00301 CPPAD_TRACK_DEL_VEC(Op);
00302 if( LengthVecInd > 0 )
00303 CPPAD_TRACK_DEL_VEC(VecInd);
00304 if( LengthInd > 0 )
00305 CPPAD_TRACK_DEL_VEC(Ind);
00306 if( LengthPar > 0 )
00307 CPPAD_TRACK_DEL_VEC(Par);
00308 if( LengthTxt > 0 )
00309 CPPAD_TRACK_DEL_VEC(Txt);
00310
00311
00312 TotalNumberVar = Other.TotalNumberVar;
00313
00314
00315 NumberOp = Other.NumberOp;
00316 LengthOp = Other.NumberOp;
00317
00318
00319 NumberVecInd = Other.NumberVecInd;
00320 LengthVecInd = Other.NumberVecInd;
00321
00322
00323 NumberInd = Other.NumberInd;
00324 LengthInd = Other.NumberInd;
00325
00326
00327 NumberPar = Other.NumberPar;
00328 LengthPar = Other.NumberPar;
00329
00330
00331 NumberTxt = Other.NumberTxt;
00332 LengthTxt = Other.NumberTxt;
00333
00334
00335 if( LengthOp == 0 )
00336 Op = CPPAD_NULL;
00337 else Op = CPPAD_TRACK_NEW_VEC(LengthOp, Op);
00338 if( LengthVecInd == 0 )
00339 VecInd = CPPAD_NULL;
00340 else VecInd = CPPAD_TRACK_NEW_VEC(LengthVecInd, VecInd);
00341 if( LengthInd == 0 )
00342 Ind = CPPAD_NULL;
00343 else Ind = CPPAD_TRACK_NEW_VEC(LengthInd, Ind);
00344 if( LengthPar == 0 )
00345 Par = CPPAD_NULL;
00346 else Par = CPPAD_TRACK_NEW_VEC(LengthPar, Par);
00347 if( LengthTxt == 0 )
00348 Txt = CPPAD_NULL;
00349 else Txt = CPPAD_TRACK_NEW_VEC(LengthTxt, Txt);
00350
00351
00352 i = NumberOp;
00353 while(i--)
00354 Op[i] = Other.Op[i];
00355 i = NumberVecInd;
00356 while(i--)
00357 VecInd[i] = Other.VecInd[i];
00358 i = NumberInd;
00359 while(i--)
00360 Ind[i] = Other.Ind[i];
00361 i = NumberPar;
00362 while(i--)
00363 Par[i] = Other.Par[i];
00364 i = NumberTxt;
00365 while(i--)
00366 Txt[i] = Other.Txt[i];
00367 }
00368
00369
00370 void Erase(void)
00371 {
00372 TotalNumberVar = 0;
00373 NumberOp = 0;
00374 NumberVecInd = 0;
00375 NumberInd = 0;
00376 NumberPar = 0;
00377 NumberTxt = 0;
00378
00379 if( LengthOp > 0 )
00380 CPPAD_TRACK_DEL_VEC(Op);
00381 if( LengthVecInd > 0 )
00382 CPPAD_TRACK_DEL_VEC(VecInd);
00383 if( LengthInd > 0 )
00384 CPPAD_TRACK_DEL_VEC(Ind);
00385 if( LengthPar > 0 )
00386 CPPAD_TRACK_DEL_VEC(Par);
00387 if( LengthTxt > 0 )
00388 CPPAD_TRACK_DEL_VEC(Txt);
00389
00390 LengthOp = 0;
00391 LengthVecInd = 0;
00392 LengthInd = 0;
00393 LengthPar = 0;
00394 LengthTxt = 0;
00395 }
00396
00397
00398 inline size_t PutOp(OpCode op);
00399 inline size_t PutVecInd(size_t vecInd);
00400 inline size_t PutPar(const Base &par);
00401 inline void PutInd(size_t ind0);
00402 inline void PutInd(size_t ind0, size_t ind1);
00403 inline void PutInd(size_t ind0, size_t ind1, size_t ind2);
00404 inline void PutInd(size_t ind0, size_t ind1, size_t ind2, size_t ind3);
00405 inline void PutInd(size_t ind0, size_t ind1, size_t ind2, size_t ind3,
00406 size_t ind4);
00407 inline void PutInd(size_t ind0, size_t ind1, size_t ind2, size_t ind3,
00408 size_t ind4, size_t ind5);
00409
00410 inline size_t PutTxt(const char *text);
00411
00412
00413
00414
00415 OpCode GetOp (size_t i) const
00416 { CPPAD_ASSERT_UNKNOWN(i < NumberOp);
00417 return Op[i];
00418 }
00419 size_t GetVecInd (size_t i) const
00420 { CPPAD_ASSERT_UNKNOWN(i < NumberVecInd);
00421 return VecInd[i];
00422 }
00423 const Base *GetPar(size_t i) const
00424 { CPPAD_ASSERT_UNKNOWN(i < NumberPar);
00425 return Par + i;
00426 }
00427 const size_t *GetInd(size_t n, size_t i) const
00428 { CPPAD_ASSERT_UNKNOWN(i + n <= NumberInd)
00429 return Ind + i;
00430 }
00431 const char *GetTxt(size_t i) const
00432 { CPPAD_ASSERT_UNKNOWN(i < NumberTxt);
00433 return Txt + i;
00434 }
00435
00436
00437
00438
00439 void ReplaceInd(size_t i, size_t value)
00440 { CPPAD_ASSERT_UNKNOWN( i < NumberInd);
00441 Ind[i] = value;
00442 }
00443
00444
00445 size_t TotNumVar(void) const
00446 { return TotalNumberVar; }
00447 size_t NumOp(void) const
00448 { return NumberOp; }
00449 size_t NumVecInd(void) const
00450 { return NumberVecInd; }
00451 size_t NumInd(void) const
00452 { return NumberInd; }
00453 size_t NumPar(void) const
00454 { return NumberPar; }
00455 size_t NumTxt(void) const
00456 { return NumberTxt; }
00457
00458
00459 size_t Memory(void) const
00460 { return LengthOp * sizeof(OpCode)
00461 + LengthVecInd * sizeof(size_t)
00462 + LengthInd * sizeof(size_t)
00463 + LengthPar * sizeof(Base)
00464 + LengthTxt * sizeof(char);
00465 }
00466
00467 private:
00468 size_t TotalNumberVar;
00469
00470 size_t NumberOp;
00471 size_t LengthOp;
00472 OpCode *Op;
00473
00474 size_t NumberVecInd;
00475 size_t LengthVecInd;
00476 size_t *VecInd;
00477
00478 size_t NumberInd;
00479 size_t LengthInd;
00480 size_t *Ind;
00481
00482 size_t NumberPar;
00483 size_t LengthPar;
00484 Base *Par;
00485
00486 size_t NumberTxt;
00487 size_t LengthTxt;
00488 char *Txt;
00489 };
00490
00491 template <class Base>
00492 inline size_t TapeRec<Base>::PutOp(OpCode op)
00493 { size_t varIndex = TotalNumberVar;
00494
00495 CPPAD_ASSERT_UNKNOWN( NumberOp <= LengthOp );
00496 if( NumberOp == LengthOp )
00497 { LengthOp = 2 * LengthOp + 8;
00498 Op = CPPAD_TRACK_EXTEND(LengthOp, NumberOp, Op);
00499 }
00500 CPPAD_ASSERT_UNKNOWN( NumberOp < LengthOp );
00501 Op[NumberOp++] = op;
00502 TotalNumberVar += NumVar(op);
00503
00504 return varIndex;
00505 }
00506
00507 template <class Base>
00508 inline size_t TapeRec<Base>::PutVecInd(size_t vecInd)
00509 {
00510 CPPAD_ASSERT_UNKNOWN( NumberVecInd <= LengthVecInd );
00511 if( NumberVecInd == LengthVecInd )
00512 { LengthVecInd = 2 * LengthVecInd + 8;
00513 VecInd = CPPAD_TRACK_EXTEND(LengthVecInd, NumberVecInd, VecInd);
00514 }
00515 CPPAD_ASSERT_UNKNOWN( NumberVecInd < LengthVecInd );
00516 VecInd[NumberVecInd++] = vecInd;
00517
00518 return NumberVecInd - 1;
00519 }
00520
00521 template <class Base>
00522 inline size_t TapeRec<Base>::PutPar(const Base &par)
00523 { size_t i;
00524
00525 CPPAD_ASSERT_UNKNOWN( NumberPar <= LengthPar );
00526
00527
00528 if( NumberPar >= 3 )
00529 { i = NumberPar;
00530 while(i > NumberPar - 3)
00531 { --i;
00532 if( IdenticalEqualPar(Par[i], par) )
00533 return i;
00534 }
00535 }
00536
00537
00538 if( NumberPar == LengthPar )
00539 { LengthPar = 2 * LengthPar + 8;
00540 Par = CPPAD_TRACK_EXTEND(LengthPar, NumberPar, Par);
00541 }
00542 CPPAD_ASSERT_UNKNOWN( NumberPar < LengthPar );
00543 Par[NumberPar++] = par;
00544
00545 return NumberPar - 1;
00546 }
00547
00548 template <class Base>
00549 inline void TapeRec<Base>::PutInd(size_t ind0)
00550 {
00551 CPPAD_ASSERT_UNKNOWN( NumberInd <= LengthInd );
00552 if( NumberInd == LengthInd )
00553 { LengthInd = 2 * LengthInd + 8;
00554 Ind = CPPAD_TRACK_EXTEND(LengthInd, NumberInd, Ind);
00555 }
00556 CPPAD_ASSERT_UNKNOWN( NumberInd < LengthInd );
00557 Ind[NumberInd++] = ind0;
00558 }
00559 template <class Base>
00560 inline void TapeRec<Base>::PutInd(size_t ind0, size_t ind1)
00561 {
00562 CPPAD_ASSERT_UNKNOWN( NumberInd <= LengthInd );
00563 if( NumberInd + 1 >= LengthInd )
00564 { LengthInd = 2 * LengthInd + 8;
00565 Ind = CPPAD_TRACK_EXTEND(LengthInd, NumberInd, Ind);
00566 }
00567 CPPAD_ASSERT_UNKNOWN( NumberInd + 1 < LengthInd );
00568 Ind[NumberInd++] = ind0;
00569 Ind[NumberInd++] = ind1;
00570 }
00571 template <class Base>
00572 inline void TapeRec<Base>::PutInd(size_t ind0, size_t ind1, size_t ind2)
00573 {
00574 CPPAD_ASSERT_UNKNOWN( NumberInd <= LengthInd );
00575 if( NumberInd + 2 >= LengthInd )
00576 { LengthInd = 2 * LengthInd + 8;
00577 Ind = CPPAD_TRACK_EXTEND(LengthInd, NumberInd, Ind);
00578 }
00579 CPPAD_ASSERT_UNKNOWN( NumberInd + 2 < LengthInd );
00580 Ind[NumberInd++] = ind0;
00581 Ind[NumberInd++] = ind1;
00582 Ind[NumberInd++] = ind2;
00583 }
00584 template <class Base>
00585 inline void TapeRec<Base>::PutInd(size_t ind0, size_t ind1, size_t ind2,
00586 size_t ind3)
00587 {
00588 CPPAD_ASSERT_UNKNOWN( NumberInd <= LengthInd );
00589 if( NumberInd + 3 >= LengthInd )
00590 { LengthInd = 2 * LengthInd + 8;
00591 Ind = CPPAD_TRACK_EXTEND(LengthInd, NumberInd, Ind);
00592 }
00593 CPPAD_ASSERT_UNKNOWN( NumberInd + 3 < LengthInd );
00594 Ind[NumberInd++] = ind0;
00595 Ind[NumberInd++] = ind1;
00596 Ind[NumberInd++] = ind2;
00597 Ind[NumberInd++] = ind3;
00598
00599 }
00600 template <class Base>
00601 inline void TapeRec<Base>::PutInd(size_t ind0, size_t ind1, size_t ind2,
00602 size_t ind3, size_t ind4)
00603 {
00604 CPPAD_ASSERT_UNKNOWN( NumberInd <= LengthInd );
00605 if( NumberInd + 4 >= LengthInd )
00606 { LengthInd = 2 * LengthInd + 8;
00607 Ind = CPPAD_TRACK_EXTEND(LengthInd, NumberInd, Ind);
00608 }
00609 CPPAD_ASSERT_UNKNOWN( NumberInd + 4 < LengthInd );
00610 Ind[NumberInd++] = ind0;
00611 Ind[NumberInd++] = ind1;
00612 Ind[NumberInd++] = ind2;
00613 Ind[NumberInd++] = ind3;
00614 Ind[NumberInd++] = ind4;
00615
00616 }
00617 template <class Base>
00618 inline void TapeRec<Base>::PutInd(size_t ind0, size_t ind1, size_t ind2,
00619 size_t ind3, size_t ind4, size_t ind5)
00620 {
00621 CPPAD_ASSERT_UNKNOWN( NumberInd <= LengthInd );
00622 if( NumberInd + 5 >= LengthInd )
00623 { LengthInd = 2 * LengthInd + 8;
00624 Ind = CPPAD_TRACK_EXTEND(LengthInd, NumberInd, Ind);
00625 }
00626 CPPAD_ASSERT_UNKNOWN( NumberInd + 5 < LengthInd );
00627 Ind[NumberInd++] = ind0;
00628 Ind[NumberInd++] = ind1;
00629 Ind[NumberInd++] = ind2;
00630 Ind[NumberInd++] = ind3;
00631 Ind[NumberInd++] = ind4;
00632 Ind[NumberInd++] = ind5;
00633 }
00634
00635 template <class Base>
00636 inline size_t TapeRec<Base>::PutTxt(const char *text)
00637 { size_t i;
00638
00639
00640 size_t n;
00641 for(n = 0; text[n] != '\0'; n++)
00642 CPPAD_ASSERT_UNKNOWN( n < 1000 );
00643 n++;
00644
00645 CPPAD_ASSERT_UNKNOWN( NumberTxt <= LengthTxt );
00646
00647 if( NumberTxt + n >= LengthTxt )
00648 { LengthTxt = 2 * LengthTxt + n + 8;
00649 Txt = CPPAD_TRACK_EXTEND(LengthTxt, NumberTxt, Txt);
00650 }
00651 CPPAD_ASSERT_UNKNOWN( NumberTxt + n < LengthTxt );
00652
00653
00654 for(i = 0; i < n; i++)
00655 Txt[NumberTxt++] = text[i];
00656 CPPAD_ASSERT_UNKNOWN( text[i-1] == '\0' );
00657
00658 return NumberTxt - n;
00659 }
00660
00661 }
00662
00663 # endif