12 #ifndef CPROVER_CPP_CPP_TEMPLATE_ARGS_H 13 #define CPROVER_CPP_CPP_TEMPLATE_ARGS_H 32 return (argumentst &)(
add(ID_arguments).
get_sub());
37 return (
const argumentst &)(
find(ID_arguments).
get_sub());
50 assert(irep.
id()==ID_template_args);
57 assert(irep.
id()==ID_template_args);
69 for(argumentst::const_iterator
70 it=_arguments.begin();
73 if(it->id()==ID_unassigned ||
74 it->type().id()==ID_unassigned)
83 assert(irep.
id()==ID_template_args);
89 assert(irep.
id()==ID_template_args);
93 #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
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