genspect::aterm_int —
class aterm_int : public genspect::aterm { public: // construct/copy/destruct aterm_int(ATermInt); aterm_int(int); // public member functions int value() const; };
aterm_int(ATermInt t);
aterm_int(int value);
int value() const;
Get the integer value of the aterm_int.