%Test whether \a x is solution
| 327 | : Test("Trigonometric::ACos::XY::Sol::"+s,2,d,st,EXTEND_ASSIGNMENT,false) {} |
| 328 | /// %Test whether \a x is solution |
| 329 | virtual MaybeType solution(const Assignment& x) const { |
| 330 | if ((x[0].min() > 1.0) || (x[0].max() < -1.0)) |
| 331 | return MT_FALSE; |
| 332 | return eq(acos(x[0]), x[1]); |
| 333 | } |
| 334 | /// Extend assignment \a x |
| 335 | virtual bool extendAssignment(Assignment& x) const { |
| 336 | if ((x[0].min() > 1.0) || (x[0].max() < -1.0)) |