super(name);
}
CustomizedFunctionTable getCustomizedFunctionTable(Set<String> funNameSet) {
Set<FunDef> specialFunctions = new HashSet<FunDef>();
specialFunctions.add(new ParenthesesFunDef(Category.Numeric));
CustomizedFunctionTable cftab =
new CustomizedFunctionTable(funNameSet, specialFunctions);
cftab.init();
return cftab;