![]() |
genspect::aterm_appl —
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; };
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.
function_symbol function() const;
Get the function symbol (function_symbol) of the application.
bool is_quoted() const;
aterm argument(unsigned int i) const;
Get the i-th argument of the application.
aterm_list argument_list() const;
Get the list of arguments of the application.
ATermAppl appl() const;
Returns the ATermAppl that is contained by the aterm_appl.
Copyright © 2004 Wieger Wesselink |