Function VAL::defineUndefinedParametersPropVar(const vector<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 vector<const_symbol_list*> &vcsl, operator_ *op, Validator *vld, goal *g, bool dp, bool neg, const set<var_symbol*> &svs, bool compError = false)