double,
typename std::enable_if<ADNumberTraits<ADNumberType>::type_code ==
NumberTypes::adolc_taped>::type>::
- is_registered_tape(
- const typename Types<ADNumberType>::tape_index tape_index) const
+ is_registered_tape(const typename Types<ADNumberType>::tape_index) const
{
AssertThrow(false, ExcRequiresADOLC());
return false;
AssertThrow(false, ExcRequiresADOLC());
}
+
+ template <typename ADNumberType>
std::vector<typename Types<ADNumberType>::tape_index>
TapedDrivers<
ADNumberType,
double,
typename std::enable_if<
ADNumberTraits<ADNumberType>::type_code ==
- NumberTypes::adolc_taped>::type>::print(std::ostream &stream)
- const
+ NumberTypes::adolc_taped>::type>::print(std::ostream &) const
{
AssertThrow(false, ExcRequiresADOLC());
}
template <typename ADNumberType>
- TapedDrivers<
+ typename TapedDrivers<
ADNumberType,
double,
typename std::enable_if<ADNumberTraits<ADNumberType>::type_code ==
AssertThrow(false, ExcRequiresADOLC());
}
+
+ template <typename ADNumberType>
void
TapedDrivers<
ADNumberType,