Function VAL::defineUndefinedParameters(const vector<const_symbol_list *>&, operator_*, Validator *, const set<var_symbol *>&)

Function Documentation

const vector<const_symbol_list*> VAL::defineUndefinedParameters(const vector<const_symbol_list*> &vcsl, operator_ *op, Validator *vld, const set<var_symbol*> &svs)