00001 # ifndef CPPAD_DEPENDENT_INCLUDED
00002 # define CPPAD_DEPENDENT_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 namespace CppAD {
00125
00126 template <typename Base>
00127 template <typename ADvector>
00128 void ADFun<Base>::Dependent(const ADvector &y)
00129 { ADTape<Base> *tape = AD<Base>::tape_ptr();
00130 CPPAD_ASSERT_KNOWN(
00131 tape != CPPAD_NULL,
00132 "Can't store current operation sequence in this ADFun object"
00133 "\nbecause there is no active tape (for this thread)."
00134 );
00135
00136
00137 Dependent(tape, y);
00138 }
00139
00140 template <typename Base>
00141 template <typename ADvector>
00142 void ADFun<Base>::Dependent(const ADvector &x, const ADvector &y)
00143 {
00144 CPPAD_ASSERT_KNOWN(
00145 x.size() > 0,
00146 "Dependent: independent variable vector has size zero."
00147 );
00148 CPPAD_ASSERT_KNOWN(
00149 Variable(x[0]),
00150 "Dependent: independent variable vector has been changed."
00151 );
00152 ADTape<Base> *tape = AD<Base>::tape_ptr(x[0].id_);
00153 CPPAD_ASSERT_KNOWN(
00154 tape->size_independent == x.size(),
00155 "Dependent: independent variable vector has been changed."
00156 );
00157 # ifndef NDEBUG
00158 size_t i, j;
00159 for(j = 0; j < x.size(); j++)
00160 { CPPAD_ASSERT_KNOWN(
00161 x[j].taddr_ == (j+1),
00162 "ADFun<Base>: independent variable vector has been changed."
00163 );
00164 CPPAD_ASSERT_KNOWN(
00165 x[j].id_ == x[0].id_,
00166 "ADFun<Base>: independent variable vector has been changed."
00167 );
00168 }
00169 for(i = 0; i < y.size(); i++)
00170 { CPPAD_ASSERT_KNOWN(
00171 CppAD::Parameter( y[i] ) | (y[i].id_ == x[0].id_) ,
00172 "ADFun<Base>: dependent vector contains a variable for"
00173 "\na different tape (thread) than the independent variables."
00174 );
00175 }
00176 # endif
00177
00178
00179 Dependent(tape, y);
00180 }
00181
00182
00183 template <typename Base>
00184 template <typename ADvector>
00185 void ADFun<Base>::Dependent(ADTape<Base> *tape, const ADvector &y)
00186 {
00187 size_t m = y.size();
00188 size_t n = tape->size_independent;
00189 size_t i, j;
00190 size_t y_taddr;
00191
00192
00193 CheckSimpleVector< AD<Base>, ADvector>();
00194
00195 CPPAD_ASSERT_KNOWN(
00196 y.size() > 0,
00197 "ADFun operation sequence dependent variable size is zero size"
00198 );
00199
00200
00201
00202
00203 CPPAD_ASSERT_UNKNOWN( NumVar(ParOp) == 1 );
00204 dep_parameter.resize(m);
00205 dep_taddr.resize(m);
00206 totalNumVar = tape->Rec.TotNumVar();
00207 for(i = 0; i < m; i++)
00208 { dep_parameter[i] = CppAD::Parameter(y[i]);
00209 if( dep_parameter[i] )
00210 { y_taddr = tape->RecordParOp( y[i].value_ );
00211 totalNumVar++;
00212 }
00213 else y_taddr = y[i].taddr_;
00214
00215 CPPAD_ASSERT_UNKNOWN( y_taddr > 0 );
00216 CPPAD_ASSERT_UNKNOWN( y_taddr < totalNumVar );
00217 dep_taddr[i] = y_taddr;
00218 }
00219
00220
00221
00222 Rec = tape->Rec;
00223
00224
00225 AD<Base>::tape_delete( tape->id_ );
00226
00227
00228 CPPAD_ASSERT_UNKNOWN( totalNumVar == Rec.TotNumVar() );
00229
00230
00231 CPPAD_ASSERT_UNKNOWN( totalNumVar > 0 );
00232
00233
00234 if( Taylor != CPPAD_NULL )
00235 CPPAD_TRACK_DEL_VEC(Taylor);
00236 if( ForJac != CPPAD_NULL )
00237 CPPAD_TRACK_DEL_VEC(ForJac);
00238
00239
00240 Taylor = CPPAD_NULL;
00241 ForJac = CPPAD_NULL;
00242
00243
00244
00245 taylor_per_var= 0;
00246 ForJacColDim = 0;
00247 ForJacBitDim = 0;
00248 TaylorColDim = 0;
00249
00250
00251 ind_taddr.resize(n);
00252 CPPAD_ASSERT_UNKNOWN(
00253 n < totalNumVar
00254 );
00255 for(j = 0; j < n; j++)
00256 { CPPAD_ASSERT_UNKNOWN( Rec.GetOp(j+1) == InvOp );
00257 ind_taddr[j] = j+1;
00258 }
00259
00260 }
00261
00262 }
00263
00264 # endif