Class domain

• Defined in File ptree.h

Inheritance Relationships

Base Type

• public VAL::parse_category (Class parse_category)

Class Documentation

class domain : public VAL::parse_category

Public Functions

inline domain(structure_store *ss)

inline virtual ~domain()

virtual void display(int ind) const

virtual void write(ostream &o) const

virtual void visit(VisitController *v) const

inline bool isDurative() const

inline bool isTyped() const

Public Members

operator_list *ops

derivations_list *drvs

string name

pddl_req_flag req

pddl_type_list *types

const_symbol_list *constants

var_symbol_table *pred_vars

pred_decl_list *predicates

func_decl_list *functions

con_goal *constraints