index_set_pairt Struct Reference

#include <string_refinement_util.h>

Collaboration diagram for index_set_pairt:

Public Attributes
std::map< exprt, std::set< exprt > >	cumulative
std::map< exprt, std::set< exprt > >	current

Detailed Description

Definition at line 59 of file string_refinement_util.h.

Member Data Documentation

cumulative

std::map<exprt, std::set<exprt> > index_set_pairt::cumulative

Definition at line 61 of file string_refinement_util.h.

current

std::map<exprt, std::set<exprt> > index_set_pairt::current

Definition at line 62 of file string_refinement_util.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/strings/string_refinement_util.h