genspect::aterm_real —
class aterm_real : public genspect::aterm { public: // construct/copy/destruct aterm_real(double); aterm_real(ATermReal); // public member functions double value() const; };
aterm_real(double value);
aterm_real(ATermReal t);
double value() const;
Get the real value of the aterm_real.