Function VAL::getParametersList

Function Documentation

const vector<const_symbol_list*> VAL::getParametersList(goal *g, operator_ *op, Validator *v, const vector<const_symbol_list*> &lop, bool neg, bool discrete, bool atAPoint = false)