17 for(componentst::const_iterator it=
components.begin();
32 for(
size_t i=0; i<s.size();)
34 for(; i<s.size(); i++)
virtual void clear()
Reset the abstract state.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
void parse(const std::string &s)
std::string as_string() const
auto component(T &struct_expr, const irep_idt &name, const namespacet &ns) -> decltype(struct_expr.op0())