Function VAL::defineUndefinedParametersPropVar(const_symbol_list *, operator_*, Validator *, goal *, bool, bool, const set<var_symbol *>&, bool)

• Defined in File Events.h

Function Documentation

const vector<const_symbol_list*> VAL::defineUndefinedParametersPropVar(const_symbol_list *csl, operator_ *op, Validator *vld, goal *g, bool dp, bool neg, const set<var_symbol*> &svs, bool compError = false)