Class TIMpred_decl

• Defined in File TimSupport.h

Inheritance Relationships

Base Type

• public VAL::pred_decl (Class pred_decl)

Class Documentation

class TIMpred_decl : public VAL::pred_decl

Public Functions

inline TIMpred_decl()

inline TIMpred_decl(VAL::pred_symbol *h, VAL::var_symbol_list *a, VAL::var_symbol_table *vt)

inline ~TIMpred_decl()