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 bool has_unassigned() const
exprt::operandst argumentst
cpp_template_args_tct & to_cpp_template_args_tc(irept &irep)
cpp_template_args_non_tct & to_cpp_template_args_non_tc(irept &irep)
const irep_idt & id() const
#define PRECONDITION(CONDITION)
const argumentst & arguments() const
Base class for tree-like data structures with sharing.
std::vector< exprt > operandst
cpp_template_args_baset()
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const