#define CPPAD_ASSERT_KNOWN	(		exp,
			msg
	)

Value:

{    if( ! ( exp ) )                         \
	CppAD::ErrorHandler::Call(              \
          true       ,                    \
          __LINE__   ,                    \
          __FILE__   ,                    \
          #exp       ,                    \
          msg        );                   \
}

Check that exp is true, if not print msg and terminate execution.

The C++ expression exp is expected to be true. If it is false, the CppAD use has made an error that is described by msg. If the preprocessor symbol NDEBUG is not defined, and exp is false, this macro will report the source code line number at which this expected result occurred. In addition, it will print the specified error message msg.

Definition at line 113 of file cppad_assert.hpp.

Referenced by CppAD::discrete< Base >::ad(), CppAD::ADFun< Base >::ADFun(), CppAD::atomic_base< double >::atomic_base(), CppAD::BenderQuad(), CppAD::CheckSimpleVector(), CppAD::old_atomic< Base >::clear(), CppAD::atomic_base< double >::clear(), CppAD::sparse_rc< SizeVector >::col_major(), CppAD::local::color_symmetric_colpack(), CppAD::ADFun< Base >::Dependent(), CppAD::discrete< Base >::discrete(), CppAD::numeric_limits< Float >::epsilon(), CppAD::ADFun< Base >::for_hes_sparsity(), CppAD::ADFun< Base >::for_jac_sparsity(), CppAD::atomic_base< double >::for_sparse_hes(), CppAD::atomic_base< double >::for_sparse_jac(), CppAD::ADFun< Base >::ForOne(), CppAD::ADFun< Base >::ForSparseHesCase(), CppAD::ADFun< Base >::ForSparseJacCase(), CppAD::ADFun< Base >::ForTwo(), CppAD::ADFun< Base >::Forward(), CppAD::local::forward0sweep(), CppAD::local::forward1sweep(), CppAD::local::forward2sweep(), CppAD::local::forward_load_v_op_0(), CppAD::local::forward_powpv_op(), CppAD::local::forward_powpv_op_dir(), CppAD::local::forward_store_vp_op_0(), CppAD::local::forward_store_vv_op_0(), CppAD::thread_alloc::free_all(), CppAD::thread_alloc::free_available(), CppAD::thread_alloc::get_memory(), CppAD::local::optimize::get_opt_op_info(), CppAD::local::player< double >::get_user_info(), CppAD::ADFun< Base >::Hessian(), CppAD::local::ADTape< Base >::Independent(), CppAD::Independent(), CppAD::index_sort(), CppAD::ADFun< Base >::Jacobian(), CppAD::LuFactor(), CppAD::LuInvert(), CppAD::LuRatio(), CppAD::LuSolve(), CppAD::numeric_limits< Float >::max(), CppAD::memory_leak(), CppAD::numeric_limits< Float >::min(), CppAD::NearEqual(), CppAD::ode_evaluate(), CppAD::OdeErrControl(), CppAD::OdeGear(), CppAD::OdeGearControl(), CppAD::AD< Base >::omp_max_thread(), CppAD::test_boolofvoid::operator()(), CppAD::to_string_struct< Type >::operator()(), CppAD::atomic_base< double >::operator()(), CppAD::checkpoint< Base >::operator()(), CppAD::operator/(), CppAD::VecAD_reference< Base >::operator=(), CppAD::vector< bool >::operator=(), CppAD::vectorBool::operator=(), CppAD::vector< bool >::operator[](), CppAD::VecAD< Base >::operator[](), CppAD::vectorBool::operator[](), CppAD::opt_val_hes(), CppAD::ADFun< Base >::optimize(), CppAD::local::optimize::optimize_run(), CppAD::atomic_base< double >::option(), CppAD::parallel_ad(), CppAD::thread_alloc::parallel_setup(), CppAD::ADFun< double >::Parameter(), CppAD::PrintFor(), CppAD::local::printOp(), CppAD::put_check_for_nan(), CppAD::local::recorder< Base >::PutLoadOp(), CppAD::local::recorder< Base >::PutOp(), CppAD::local::recorder< Base >::PutPar(), CppAD::local::recorder< Base >::PutTxt(), CppAD::local::recorder< Base >::PutVecInd(), CppAD::numeric_limits< Float >::quiet_NaN(), CppAD::thread_alloc::return_memory(), CppAD::ADFun< Base >::rev_hes_sparsity(), CppAD::ADFun< Base >::rev_jac_sparsity(), CppAD::atomic_base< double >::rev_sparse_hes(), CppAD::atomic_base< double >::rev_sparse_jac(), CppAD::ADFun< Base >::Reverse(), CppAD::local::reverse_powpv_op(), CppAD::local::reverse_sweep(), CppAD::ADFun< Base >::RevOne(), CppAD::ADFun< Base >::RevSparseHesCase(), CppAD::ADFun< Base >::RevSparseJacCase(), CppAD::ADFun< Base >::RevTwo(), CppAD::RombergOne(), CppAD::Rosen34(), CppAD::sparse_rc< SizeVector >::row_major(), CppAD::Runge45(), CppAD::sparse_rcv< SizeVector, ValueVector >::set(), CppAD::sparse_rc< SizeVector >::set(), CppAD::thread_alloc::set_get_thread_num(), CppAD::ADFun< double >::size_forward_bool(), CppAD::ADFun< double >::size_forward_set(), CppAD::ipopt::solve(), CppAD::ADFun< Base >::sparse_hes(), CppAD::sparse_hes_fun(), CppAD::ADFun< Base >::sparse_jac_for(), CppAD::sparse_jac_fun(), CppAD::ADFun< Base >::sparse_jac_rev(), CppAD::ADFun< Base >::SparseHessian(), CppAD::ADFun< Base >::SparseHessianCompute(), CppAD::ADFun< Base >::SparseJacobian(), CppAD::ADFun< Base >::SparseJacobianFor(), CppAD::ADFun< Base >::SparseJacobianForward(), CppAD::ADFun< Base >::SparseJacobianRev(), CppAD::ADFun< Base >::SparseJacobianReverse(), CppAD::local::sparsity_user2internal(), CppAD::SpeedTest(), CppAD::ADFun< Base >::subgraph_jac_rev(), CppAD::ADFun< Base >::subgraph_reverse(), CppAD::AD< Base >::tape_manage(), CppAD::AD< Base >::tape_ptr(), CppAD::TrackCount(), CppAD::TrackDelVec(), CppAD::TrackError(), CppAD::TrackExtend(), CppAD::TrackNewVec(), and CppAD::Value().