// Arguments: Doubles, Doubles, Doubles #include using stan::math::var; using std::numeric_limits; using std::vector; class AgradCdfNormal : public AgradCdfTest { public: void valid_values(vector >& parameters, vector& cdf) { vector param(3); param[0] = 0.1; // y param[1] = 0.5; // mu param[2] = 1; // sigma parameters.push_back(param); cdf.push_back(0.3445782583896758177744); // expected cdf param[0] = 1; // y param[1] = 0.1; // mu param[2] = 1; // sigma parameters.push_back(param); cdf.push_back(0.8159398746532404711473); // expected cdf param[0] = -2; // y param[1] = 0.1; // mu param[2] = 1; // sigma parameters.push_back(param); cdf.push_back(0.01786442056281655615946); // expected cdf param[0] = -3.5; // y param[1] = 1.9; // mu param[2] = 7.2; // sigma parameters.push_back(param); cdf.push_back(0.22662735237686821); // expected cdf } void invalid_values(vector& index, vector& value) { // y // mu index.push_back(1U); value.push_back(numeric_limits::infinity()); index.push_back(1U); value.push_back(-numeric_limits::infinity()); // sigma index.push_back(2U); value.push_back(0.0); index.push_back(2U); value.push_back(-1.0); index.push_back(2U); value.push_back(-numeric_limits::infinity()); } bool has_lower_bound() { return false; } bool has_upper_bound() { return false; } template typename stan::return_type::type cdf( const T_y& y, const T_loc& mu, const T_scale& sigma, const T3&, const T4&, const T5&) { return stan::math::normal_cdf(y, mu, sigma); } template typename stan::return_type::type cdf_function( const T_y& y, const T_loc& mu, const T_scale& sigma, const T3&, const T4&, const T5&) { using stan::math::SQRT_2; return (0.5 + 0.5 * erf((y - mu) / (sigma * SQRT_2))); } };