12 #ifndef CPROVER_CPP_CPP_TEMPLATE_ARGS_H
13 #define CPROVER_CPP_CPP_TEMPLATE_ARGS_H
52 return static_cast<cpp_template_args_non_tct &>(irep);
59 return static_cast<const cpp_template_args_non_tct &>(irep);
70 for(argumentst::const_iterator
71 it=_arguments.begin();
74 if(it->id()==ID_unassigned ||
75 it->type().id()==ID_unassigned)
85 return static_cast<cpp_template_args_tct &>(irep);
91 return static_cast<const cpp_template_args_tct &>(irep);
94 #endif // CPROVER_CPP_CPP_TEMPLATE_ARGS_H