Class parse_category

• Defined in File ptree.h

Inheritance Relationships

Derived Types

• public VAL::pc_list< derivation_rule * > (Template Class pc_list)

• public VAL::pc_list< func_decl * > (Template Class pc_list)

• public VAL::pc_list< goal * > (Template Class pc_list)

• public VAL::pc_list< operator_*> (Template Class pc_list)

• public VAL::pc_list< plan_step * > (Template Class pc_list)

• public VAL::pc_list< pred_decl * > (Template Class pc_list)

• public VAL::pc_list< proposition * > (Template Class pc_list)

• public VAL::pc_list< VAL::assignment * > (Template Class pc_list)

• public VAL::pc_list< VAL::timed_effect * > (Template Class pc_list)

• public VAL::pc_list< VAL::simple_effect * > (Template Class pc_list)

• public VAL::pc_list< VAL::forall_effect * > (Template Class pc_list)

• public VAL::pc_list< VAL::cond_effect * > (Template Class pc_list)

• public VAL::typed_symbol_list< var_symbol > (Template Class typed_symbol_list)

• public VAL::domain (Class domain)

• public VAL::effect (Class effect)

• public VAL::effect_lists (Class effect_lists)

• public VAL::expression (Class expression)

• public VAL::func_decl (Class func_decl)

• public VAL::goal (Class goal)

• public VAL::length_spec (Class length_spec)

• public VAL::metric_spec (Class metric_spec)

• public VAL::pc_list< pc > (Template Class pc_list)

• public VAL::plan_step (Class plan_step)

• public VAL::pred_decl (Class pred_decl)

• public VAL::problem (Class problem)

• public VAL::proposition (Class proposition)

• public VAL::structure_def (Class structure_def)

• public VAL::structure_store (Class structure_store)

• public VAL::symbol (Class symbol)

• public VAL::typed_symbol_list< symbol_class > (Template Class typed_symbol_list)

Class Documentation

class parse_category

Subclassed by VAL::pc_list< derivation_rule * >, VAL::pc_list< func_decl * >, VAL::pc_list< goal * >, VAL::pc_list< operator_*>, VAL::pc_list< plan_step * >, VAL::pc_list< pred_decl * >, VAL::pc_list< proposition * >, VAL::pc_list< VAL::assignment * >, VAL::pc_list< VAL::timed_effect * >, VAL::pc_list< VAL::simple_effect * >, VAL::pc_list< VAL::forall_effect * >, VAL::pc_list< VAL::cond_effect * >, VAL::typed_symbol_list< var_symbol >, VAL::domain, VAL::effect, VAL::effect_lists, VAL::expression, VAL::func_decl, VAL::goal, VAL::length_spec, VAL::metric_spec, VAL::pc_list< pc >, VAL::plan_step, VAL::pred_decl, VAL::problem, VAL::proposition, VAL::structure_def, VAL::structure_store, VAL::symbol, VAL::typed_symbol_list< symbol_class >

Public Functions

inline parse_category()

inline virtual ~parse_category()

virtual void display(int ind) const

inline virtual void write(ostream &o) const

inline virtual void visit(VisitController *v) const

Public Static Functions

static void setWriteController(unique_ptr<WriteController> &w)

static WriteController *recoverWriteController()

Protected Static Attributes

static unique_ptr<WriteController> wcntr