Function VAL::getParameters

Function Documentation

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