Class proposition

• Defined in File ptree.h

Inheritance Relationships

Base Type

• public VAL::parse_category (Class parse_category)

Class Documentation

class proposition : public VAL::parse_category

Public Functions

inline proposition(pred_symbol *h, parameter_symbol_list *a)

inline proposition(pred_symbol *h, var_symbol_list *a)

inline virtual ~proposition()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

Public Members

pred_symbol *head

parameter_symbol_list *args