Class pred_decl

• Defined in File ptree.h

Inheritance Relationships

Base Type

• public VAL::parse_category (Class parse_category)

Derived Type

• public TIM::TIMpred_decl (Class TIMpred_decl)

Class Documentation

class pred_decl : public VAL::parse_category

Subclassed by TIM::TIMpred_decl

Public Functions

inline pred_decl(pred_symbol *h, var_symbol_list *a, var_symbol_table *vt)

inline const pred_symbol *getPred() const

inline const var_symbol_list *getArgs() const

inline void setTypes(proposition *p) const

inline virtual ~pred_decl()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

Protected Attributes

pred_symbol *head

var_symbol_list *args

var_symbol_table *var_tab