Function VAL::checkParametersProp

Defined in File Events.h

Function Documentation

const vector<const_symbol_list*> VAL::checkParametersProp(const vector<const_symbol_list*> &vcsl, operator_ *op, Validator *vld, goal *g, bool neg, bool dp, bool compError = false)