Class analysis

Defined in File ptree.h

Class Documentation

class analysis

Public Functions

inline var_symbol_table *buildPredTab()

inline var_symbol_table *buildFuncTab()

inline var_symbol_table *buildForallTab()

inline var_symbol_table *buildExistsTab()

inline var_symbol_table *buildRuleTab()

inline var_symbol_table *buildOpTab()

inline durative_action *buildDurativeAction()

inline action *buildAction(operator_symbol *nm, var_symbol_list *ps, goal *pre, effect_lists *effs, var_symbol_table *st)

inline event *buildEvent(operator_symbol *nm, var_symbol_list *ps, goal *pre, effect_lists *effs, var_symbol_table *st)

inline process *buildProcess(operator_symbol *nm, var_symbol_list *ps, goal *pre, effect_lists *effs, var_symbol_table *st)

inline void setFactory(VarTabFactory *vf)

inline void setFactory(StructureFactory *sf)

inline analysis()

inline virtual ~analysis()

Public Members

var_symbol_table_stack var_tab_stack

const_symbol_table const_tab

pddl_type_symbol_table pddl_type_tab

pred_symbol_table pred_tab

func_symbol_table func_tab

operator_symbol_table op_tab

pddl_req_flag req

parse_error_list error_list

domain *the_domain

problem *the_problem