ATerm++

PrevUpHomeNext

Class aterm

genspect::aterm —

Synopsis

class aterm {
public:
  // construct/copy/destruct
  aterm();
  aterm(ATerm);
  aterm(ATermList);
  aterm(ATermInt);
  aterm(ATermReal);
  aterm(ATermBlob);
  aterm(ATermAppl);
  aterm(ATermPlaceholder);
  aterm(const std::string &);

  // public member functions
  const ATerm & term() const;
  ATerm & term();
  operator ATerm() const;
  void protect();
  void unprotect();
  int type() const;
  std::string to_string() const;
  aterm annotation(aterm) const;
  aterm_blob to_blob() const;
  aterm_real to_real() const;
  aterm_int to_int() const;
  aterm_list to_list() const;
  aterm_appl to_appl() const;
};

Description

aterm construct/copy/destruct

  1. aterm();
  2. aterm(ATerm term);
  3. aterm(ATermList term);
  4. aterm(ATermInt term);
  5. aterm(ATermReal term);
  6. aterm(ATermBlob term);
  7. aterm(ATermAppl term);
  8. aterm(ATermPlaceholder term);
  9. aterm(const std::string & s);

aterm public member functions

  1. const ATerm & term() const;
  2. ATerm & term();
  3. operator ATerm() const;
  4. void protect();

    Protect the aterm. Protects the aterm from being freed at garbage collection.

  5. void unprotect();

    Unprotect the aterm. Releases protection of the aterm which has previously been protected through a call to protect.

  6. int type() const;

    Return the type of term. Result is one of AT_APPL, AT_INT, AT_REAL, AT_LIST, AT_PLACEHOLDER, or AT_BLOB.

  7. std::string to_string() const;

    Writes the term to a string.

  8. aterm annotation(aterm label) const;

    Retrieve the annotation with the given label.

  9. aterm_blob to_blob() const;
  10. aterm_real to_real() const;
  11. aterm_int to_int() const;
  12. aterm_list to_list() const;
  13. aterm_appl to_appl() const;
Copyright © 2004 Wieger Wesselink

PrevUpHomeNext