![]() |
genspect::aterm —
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; };
const ATerm & term() const;
ATerm & term();
operator ATerm() const;
void protect();
Protect the aterm. Protects the aterm from being freed at garbage collection.
void unprotect();
Unprotect the aterm. Releases protection of the aterm which has previously been protected through a call to protect.
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.
std::string to_string() const;
Writes the term to a string.
aterm annotation(aterm label) const;
Retrieve the annotation with the given label.
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;
Copyright © 2004 Wieger Wesselink |