ATerm++

PrevUpHomeNext

Class aterm_appl

genspect::aterm_appl —

Synopsis

class aterm_appl : public genspect::aterm {
public:
  // construct/copy/destruct
  aterm_appl();
  aterm_appl(ATermAppl);

  // public member functions
  function_symbol function() const;
  bool is_quoted() const;
  aterm argument(unsigned int) const;
  aterm_list argument_list() const;
  ATermAppl appl() const;
};

Description

Filter entries from a list using a predicate. This function can be used to filter entries that satisfy a given predicate from a list. Each item in list is judged through a call to predicate. If predicate returns true the entry is added to a list, otherwise it is skipped. The function returns the list containing exactly those items that satisfy predicate.

aterm_appl construct/copy/destruct

  1. aterm_appl();
  2. aterm_appl(ATermAppl a);

aterm_appl public member functions

  1. function_symbol function() const;

    Get the function symbol (function_symbol) of the application.

  2. bool is_quoted() const;
  3. aterm argument(unsigned int i) const;

    Get the i-th argument of the application.

  4. aterm_list argument_list() const;

    Get the list of arguments of the application.

  5. ATermAppl appl() const;

    Returns the ATermAppl that is contained by the aterm_appl.

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext