Function VAL::getParametersCts

Defined in File Events.h

Function Documentation

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