Class TIMaction

Inheritance Relationships

Base Types

Class Documentation

class TIMaction : public VAL::action, public TIM::MutexStore

Public Functions

inline TIMaction(VAL::operator_symbol *nm, VAL::var_symbol_list *ps, VAL::goal *pre, VAL::effect_lists *effs, VAL::var_symbol_table *st)