ATerm++

PrevUpHomeNext

Class aterm_int

genspect::aterm_int —

Synopsis

class aterm_int : public genspect::aterm {
public:
  // construct/copy/destruct
  aterm_int(ATermInt);
  aterm_int(int);

  // public member functions
  int value() const;
};

Description

aterm_int construct/copy/destruct

  1. aterm_int(ATermInt t);
  2. aterm_int(int value);

aterm_int public member functions

  1. int value() const;

    Get the integer value of the aterm_int.

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext