Class func_term

Inheritance Relationships

Base Type

Class Documentation

class func_term : public VAL::expression

Public Functions

inline func_term(func_symbol *fs, parameter_symbol_list *psl)
inline virtual ~func_term()
virtual void display(int ind) const
virtual void write(ostream &o) const
virtual void visit(VisitController *v) const
inline const func_symbol *getFunction() const
inline const parameter_symbol_list *getArgs() const