\newcommand{\W}[1]{ \; #1 \; }
\newcommand{\R}[1]{ {\rm #1} }
\newcommand{\B}[1]{ {\bf #1} }
\newcommand{\D}[2]{ \frac{\partial #1}{\partial #2} }
\newcommand{\DD}[3]{ \frac{\partial^2 #1}{\partial #2 \partial #3} }
\newcommand{\Dpow}[2]{ \frac{\partial^{#1}}{\partial {#2}^{#1}} }
\newcommand{\dpow}[2]{ \frac{ {\rm d}^{#1}}{{\rm d}\, {#2}^{#1}} }This is cppad-20221105 documentation. Here is a link to its
current documentation
.
Check Simple Vector Concept
Syntax # include <cppad/utility/check_simple_vector.hpp> CheckSimpleVector<Scalar, Vector>() CheckSimpleVector<Scalar, Vector>(x, y)
Purpose
Preforms compile and run time checks that the type specified
by
Vector
satisfies all the requirements for
a SimpleVector
class with
elements of typeScalar
.
If a requirement is not satisfied,
a an error message makes it clear what condition is not satisfied.
x, y
If the arguments
x
and
y
are present,
they have prototype
const Scalar& x
const Scalar& y
In addition, the check
x == x
will return the boolean value true, and
x == y
will return false.
Restrictions
If the arguments
x
and
y
are not present,
the following extra assumption is made by CheckSimpleVector:
If
x
is a
Scalar
object
x = 0 y = 1
assigns values to the objects
x
and
y
.
In addition,
x == x
would return the boolean value true and
x == y
would return false.
Include
The file cppad/utility/check_simple_vector.hpp
is included by cppad/cppad.hpp
but it can also be included separately with out the rest
if the CppAD include files.
Example
The file check_simple_vector.cpp
contains an example and test of this function where
S
is the same as
T
.
The comments in this example suggest a way to change the example
so
S
is not the same as
T
.
Input File: include/cppad/utility/check_simple_vector.hpp