Function VAL::changeVars(expression , map<parameter_symbol , parameter_symbol *>)

Defined in File Validator.h

Function Documentation

void VAL::changeVars(expression *e, map<parameter_symbol*, parameter_symbol*> varMap)